|
class | Engine |
|
class | Time |
| The simulator's internal representation of time. More...
|
|
struct | SignalDetail |
| Detail structure that can be easily accessed by the lowered code. More...
|
|
class | Signal |
| The simulator's internal representation of a signal. More...
|
|
struct | Slot |
| The simulator's internal representation of one queue slot. More...
|
|
class | UpdateQueue |
| This is equivalent to and std::priorityQueue<Slot> ordered using the greater operator, which adds an insertion method to add changes to a slot. More...
|
|
struct | ProcState |
| State structure for process persistence across suspension. More...
|
|
struct | Instance |
| The simulator internal representation of an instance. More...
|
|
struct | State |
| The simulator's state. More...
|
|
class | Trace |
|