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

## Uses of Package
tesl

Packages that use tesl
demos.semantic_adaptation |
modhelxs.abstractsemantics |
modhelxs.mocs.de |
modhelxs.mocs.sdf |
modhelxs.mocs.tfsm |
modhelxs.simulation |
modhelxs.state_management |
tesl |
tesl.tests |

Classes in tesl used by demos.semantic_adaptation
Tag
Unit

Classes in tesl used by modhelxs.abstractsemantics
Clock A clock with tags of type T.
ClockOperation
ClockSet
ClockSetMark
Tag
Unit

Classes in tesl used by modhelxs.mocs.de
Clock A clock with tags of type T.

Classes in tesl used by modhelxs.mocs.sdf
Clock A clock with tags of type T.
Unit

Classes in tesl used by modhelxs.mocs.tfsm
Clock A clock with tags of type T.
TagRelation

Classes in tesl used by modhelxs.simulation
Clock A clock with tags of type T.
ClockBackupInterface
TagCalculus A TagCalculs performs operations on clock tags of type T.
Tick
Unit

Classes in tesl used by modhelxs.state_management
Clock A clock with tags of type T.
Tag
TagCalculus A TagCalculs performs operations on clock tags of type T.

Classes in tesl used by tesl
AffineTags 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 A clock with tags of type T.
ClockBackupInterface
ClockOperation
ClockSet
ClockSetMark
DelayedImplication
FilteredImplication A clock implication which creates ticks on the slave by filtering the ticks of the master clock according to a pattern.
Implication A clock relation which creates a tick on the slave (super) clock each time there is a tick on the master (sub) clock.
ImplicationBackupInterface
ImplicationRelation
Occurrence Different kinds of occurrences.
Preemption Different kinds of preemption.
SameTags
SustainedImplication 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
TagCalculus A TagCalculs performs operations on clock tags of type T.
TagRelation
Tick
Unit

Classes in tesl used by tesl.tests
Clock A clock with tags of type T.
ClockSet
TagCalculus A TagCalculs performs operations on clock tags of type T.
Unit

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