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.