package fsml

  1. Overview
  2. Docs

Module Fsml.TransitionSource

FSM Transitions

Sourcetype 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.

Sourceval to_yojson : t -> Yojson.Safe.t

Printers

Sourceval to_string : t -> string

Simulation

Sourceval 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.