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

## Package tesl

Interface Summary
ClockBackupInterface<T extends Comparable<? super T>> |
ImplicationBackupInterface |
TagCalculus<T> | A TagCalculs performs operations on clock tags of type T.

Class Summary
AffineTags<T extends Comparable<? super T>> | An AffineTags relation is a tag relation which specifies that the tag of the "to" clock are an affine function of the tags of the "from" clock: to = a * from + b
Clock<T extends Comparable<? super T>> | A clock with tags of type T.
ClockOperation<T extends Comparable<T>> |
ClockSet |
ClockSetMark |
DelayedImplication<M1 extends Comparable<? super M1>,M2 extends Comparable<? super M2>,S extends Comparable<? super S>> |
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.
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.
ImplicationRelation |
IntegerCalc | A tag calculus on integers which uses the regular int operators
LongCalc | A tag calculus on integers which uses the regular int operators
RoundDouble | A tag calculus on doubles which keeps only the 6 first digits after the decimal point and rounds to the nearest value, or down if there is no nearest value.
SameTags<T extends Comparable<? super T>> |
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.
Tag<T extends Comparable<? super T>> |
TagRelation<U extends Comparable<? super U>,V extends Comparable<? super V>> |
Tick<T extends Comparable<? super T>> |
TickCreation<T extends Comparable<T>> |
TickDeletion<T extends Comparable<T>> |
Unit |
UnitCalc | A dummy tag calculus on Unit.

Enum Summary
Occurrence | Different kinds of occurrences.
Preemption | Different kinds of preemption.

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