fsml

A library for describing and describing synchronous finite state machines
IN THIS PACKAGE
Module Fsml . Transition

FSM Transitions

type t = State.t * Guard.t list * Action.t list * State.t

(src,guards,actions,dst) means that the FSM will go from state src to state dst whenever all guards listed in guards evaluate to true, performing, sequentially, all actions listed in actions.

val to_yojson : t -> Yojson.Safe.t

Printers

val to_string : t -> string

Simulation

val is_fireable : State.t -> Expr.env -> t -> bool

is_fireable src env t returns true iff transition t is fireable when the enclosing FSM is in state state and the inputs and local variables have values recorded in environment env.