Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
tesl.ImplicationRelation

Packages that use ImplicationRelation
tesl |

Uses of ImplicationRelation in tesl

Subclasses of ImplicationRelation in tesl
`class` | `DelayedImplication<M1 extends Comparable<? super M1>,M2 extends Comparable<? super M2>,S extends Comparable<? super S>>`
`class` | `FilteredImplication<M extends Comparable<? super M>,S extends Comparable<? super S>>` A clock implication which creates ticks on the slave by filtering the ticks of the master clock according to a pattern.
`class` | `Implication<M extends Comparable<? super M>,S extends Comparable<? super S>>` A clock relation which creates a tick on the slave (super) clock each time there is a tick on the master (sub) clock.
`class` | `SustainedImplication<M1 extends Comparable<? super M1>,M2 extends Comparable<? super M2>,M3 extends Comparable<? super M3>,S extends Comparable<? super S>>` A clock implication which creates ticks on the slave at each tick of the master between a tick of start and a tick of stop.

Fields in tesl with type parameters of type ImplicationRelation
`private java.util.List<ImplicationRelation>` | `ClockSet.c_implications_`
`private java.util.Map<Clock<?>,java.util.List<ImplicationRelation>>` | `ClockSet.masters_`
`private java.util.Map<Clock<?>,java.util.List<ImplicationRelation>>` | `ClockSet.slaves_`

Methods in tesl that return ImplicationRelation
`ImplicationRelation` | `ClockSet.addImplicationRelation(ImplicationRelation r)`

Methods in tesl that return types with arguments of type ImplicationRelation
`java.lang.Iterable<ImplicationRelation>` | `ClockSet.getImplicationRelations()`

Methods in tesl with parameters of type ImplicationRelation
`ImplicationRelation` | `ClockSet.addImplicationRelation(ImplicationRelation r)`
`boolean` | `ClockSet.dependsOn(ImplicationRelation r1, ImplicationRelation r2)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES