Module RfsmSource

Sourcemodule Action : sig ... end

Actions associated to transitions

Sourcemodule Builtins : sig ... end

Builtin operations

Sourcemodule Condition : sig ... end

Trigerring condition for transitions

Sourcemodule Dynamic : sig ... end

Dynamic models (used by the simulator)

Sourcemodule Eval : sig ... end

Evaluating and manipulating expressions

Sourcemodule Expr : sig ... end

Expressions and values

Sourcemodule Fsm : sig ... end

Reactive Finite State Machines

Sourcemodule Global : sig ... end

Global objects

Sourcemodule Ident : sig ... end

Identifiers

Sourcemodule Intbits : sig ... end

Bit level operations on ints

Sourcemodule Misc : sig ... end

Misc

Sourcemodule Simul : sig ... end

The simulator

Sourcemodule Static : sig ... end

Static description of systems

Sourcemodule Stimuli : sig ... end

Events and stimuli

Sourcemodule Trace : sig ... end
Sourcemodule Type_expr : sig ... end
Sourcemodule Types : sig ... end

Types

Sourcemodule Typing : sig ... end

Typing