fsml

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

Transition guards

type t = Expr.t

The type of guards associated to transitions. Guards are just boolean expressions.

val to_yojson : t -> Yojson.Safe.t

Printing

val to_string : Expr.t -> string

Simulation

exception Illegal_guard_expr of Expr.t
val eval : Expr.env -> Expr.t -> bool

eval env e evaluates guard expression e in environment env, returning the corresponding boolean value. Raises Illegal_guard_expr if the expression does not denote a boolean value.