Misc

Misc

Ident

Identifiers

Intbits

Bit level operations on ints

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