package fsml

  1. Overview
  2. Docs

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


val to_string : t -> string


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.


Innovation. Community. Security.