package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Accessors
Operations
Printers

package rfsm

rfsm
- Rfsm
  - Action
  - Builtins
  - Condition
  - Dynamic
  - Eval
  - Expr
    
    VarSet
  - Fsm
    
    Attr
    
    Repr
    
    Attr
    
    Attrs
    
    Label
    
    State
    
    States
    
    Elt
    
    Tree
    
    State
    
    TransLabel
  - Global
  - Ident
  - Intbits
  - Misc
  - Simul
  - Static
    
    DepG
    
    E
    
    Mark
    
    V
  - Stimuli
  - Trace
  - Type_expr
  - Types
    
    Index
    
    VarSet
  - Typing

Legend:
Library
Module
Module type
Parameter
Class
Class type

Trigerring condition for transitions

type t = event list * guard list

The event list will be a singleton for normal transition, empty for initial transition

and event = string

event name

and guard = Expr.t

type env = (string * Expr.value) list

exception Illegal_guard_expr of Expr.t

Accessors

val vars_of : t -> Expr.VarSet.t

val events_of : t -> Expr.VarSet.t

Operations

val eval_guard : env -> guard -> bool

val eval_guards : env -> guard list -> bool

eval_guards env [g1;...gN] is true iff eval_guard env gi is true for each i=1...N

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

rename f c renames f v each variable v occurring in c

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

subst env (evs,guards) replaces each variable v occuring in guards by its value if found in env, simplifying the resulting expression whenever possible.

Printers

val string_of_guard : guard -> string

val string_of_guards : guard list -> string

val to_string : t -> string