![]() |
lingua-franca 0.10.1
Lingua Franca code generator
|
Classes | |
| class | Event |
| A node in the state space diagram representing a step in the execution of an LF program. More... | |
| class | EventQueue |
| An event queue implementation that sorts events in the order of time tags and trigger names based on the implementation of compareTo() in the Event class. More... | |
| class | StateInfo |
| A class that represents information in a step in a counterexample trace. More... | |
| class | StateSpaceDiagram |
| A directed graph representing the state space of an LF program. More... | |
| class | StateSpaceExplorer |
| (EXPERIMENTAL) Explores the state space of an LF program. More... | |
| class | StateSpaceNode |
| A node in the state space diagram representing a step in the execution of an LF program. More... | |
| class | Tag |
| Class representing a logical time tag, which is a pair that consists of a timestamp (type long) and a microstep (type long). More... | |