package fsml

  1. Overview
  2. Docs

Transition actions

type t =
  1. | Assign of Expr.ident * Expr.t

The type of actions associated to FSM transitions

val to_yojson : t -> Yojson.Safe.t

Printer

val to_string : t -> string

Simulation

val perform : Expr.env -> t -> Event.t list

perform env a performs action a in the context of environment env returning a list of resulting events.

OCaml

Innovation. Community. Security.