package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

f_static : Fsm.inst;
f_vars : (string * (Types.typ * Expr.value)) list;
f_state : string;
f_has_reacted : bool;

}

type lenv = (string * Expr.value) list

type genv = {

fe_inputs : (string * (Types.typ * Expr.value)) list;
fe_csts : (string * (Types.typ * Expr.value)) list;
fe_fns : (string * (Types.typ * Expr.value)) list;
fe_vars : (string * (Types.typ * Expr.value)) list;
fe_evs : (string * (Types.typ * Expr.value)) list;

}

val create : Fsm.inst -> t

type event = loc * Expr.value

and loc =

| LVar of Ident.t
| LArrInd of Ident.t * int
| LRField of Ident.t * string

exception IllegalTrans of t * string

exception IllegalAction of t * Action.t

exception Undeterminate of t * string * Types.date

exception NonDetTrans of t * Fsm.transition list * Types.date

exception NonAtomicIoWrite of t * Action.t

val fireable : t -> lenv -> Fsm.Repr.transition -> bool

val check_cond : t -> lenv -> Condition.t -> bool

val is_event_set : lenv -> Condition.event -> bool

val init : genv -> t -> t * event list

val react : Types.date -> genv -> t -> t * event list