package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = event list * guard list

and event = string

and guard = Expr.t

type env = (string * Expr.value) list

exception Illegal_guard_expr of Expr.t

val vars_of : t -> Expr.VarSet.t

val events_of : t -> Expr.VarSet.t

val eval_guard : env -> guard -> bool

val eval_guards : env -> guard list -> bool

val rename : (string -> string) -> t -> t

val subst : Eval.env -> t -> t

val string_of_guard : guard -> string

val to_string : t -> string