ON THIS PAGE

Libraries
- rfsm

rfsm
- Rfsm
  - Action
  - Builtins
  - Condition
  - Dynamic
  - Eval
  - Expr
    
    VarSet
  - Fsm
    
    Repr
    
    Label
    
    Repr
    
    Attr
    
    Attrs
    
    Label
    
    State
    
    States
    
    Elt
    
    Tree
    
    State
    
    States
    
    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

rfsm 1.6.0

Libraries

This package provides the following libraries (via dune):

rfsm

Documentation:

Rfsm.Action Actions associated to transitions
Rfsm.Builtins Builtin operations
Rfsm.Condition Trigerring condition for transitions
Rfsm.Dynamic Dynamic models (used by the simulator)
Rfsm.Eval Evaluating and manipulating expressions
Rfsm.Expr Expressions and values
Rfsm.Fsm Reactive Finite State Machines
Rfsm.Global Global objects
Rfsm.Ident Identifiers
Rfsm.Intbits Bit level operations on ints
Rfsm.Misc Misc
Rfsm.Simul The simulator
Rfsm.Static Static description of systems
Rfsm.Stimuli Events and stimuli
Rfsm.Trace
Rfsm.Type_expr
Rfsm.Types Types
Rfsm.Typing Typing

Dependencies: ocamlgraph, lascar, str