Misc | Misc |
Ident | Identifiers |
Intbits | Bit level operations on |
Types | Types |
Expr | Expressions and values |
Type_expr | |
Typing | Typing |
Builtins | Builtin operations |
Eval | Evaluating and manipulating expressions |
Condition | Trigerring condition for transitions |
Action | Actions associated to transitions |
Global | Global objects |
Fsm | Reactive Finite State Machines |
Sysm | System description as a composition of FSM instances and global objects |
Fsm_dyn | Dynamic model of FSM instances (used by the simulator) |
Stimuli | Events and stimuli |
Simul | The simulator |