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

exception Error of string

type config = {

mutable max_micro_reactions : int;

}

val cfg : config

type stimulus = Fsm_dyn.loc * Expr.value

type response = Fsm_dyn.loc * Expr.value

type reaction =
  Types.date * string * Stimuli.stimuli list * response list * string

type context = {

c_date : Types.date;
c_inputs : (string * (Types.typ * Expr.value)) list;
c_outputs : (string * (Types.typ * Expr.value)) list;
c_fns : (string * (Types.typ * Expr.value)) list;
c_csts : (string * (Types.typ * Expr.value)) list;
c_vars : (string * (Types.typ * Expr.value)) list;
c_evs : (string * (Types.typ * Expr.value)) list;
c_fsms : Fsm_dyn.t list * Fsm_dyn.t list;

}

exception OverReaction of Types.date

val react : Types.date -> context -> stimulus list -> context * response list

val run : Sysm.t -> context * (Types.date * response list) list

val dump_context : context -> unit

val dump_reaction : (int * Fsm_dyn.event list) -> unit