|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||