|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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 |
|
| Tick
|
|
| Unit
|
|
| Classes in tesl used by modhelxs.state_management | |
|---|---|
| Clock
A clock with tags of type T. |
|
| Tag
|
|
| TagCalculus
A TagCalculs |
|
| 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 |
|
| TagRelation
|
|
| Tick
|
|
| Unit
|
|
| Classes in tesl used by tesl.tests | |
|---|---|
| Clock
A clock with tags of type T. |
|
| ClockSet
|
|
| TagCalculus
A TagCalculs |
|
| Unit
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||