package fsml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

FSM Transitions
1. Printers
2. Simulation

package fsml

fsml
- CHANGES
- README
- Library fsml
  - Fsml
    
    Action
    
    Builtins
    
    C
    
    Clock
    
    Dot
    
    Event
    
    Expr
    
    Fsm
    
    Fsm_lexer
    
    Fsm_parser
    
    Guard
    
    Misc
    
    Parse
    
    Seqmodel
    
    Simul
    
    State
    
    Tevents
    
    Ops
    
    Transition
    
    Types
    
    Typing
    
    Valuation
    
    Vcd
    
    Vhdl
- Sources
  - fsml
    
    action.ml
    
    builtins.ml
    
    c.ml
    
    clock.ml
    
    dot.ml
    
    event.ml
    
    expr.ml
    
    fsm.ml
    
    fsm_lexer.ml
    
    fsm_parser.ml
    
    fsml.ml
    
    guard.ml
    
    misc.ml
    
    parse.ml
    
    seqmodel.ml
    
    simul.ml
    
    state.ml
    
    tevents.ml
    
    transition.ml
    
    types.ml
    
    typing.ml
    
    valuation.ml
    
    vcd.ml
    
    vhdl.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fsml.Transition`Source

FSM Transitions

Sourcetype t = State.t * Guard.t list * Action.t list * State.t

(src,guards,actions,dst) means that the FSM will go from state src to state dst whenever all guards listed in guards evaluate to true, performing, sequentially, all actions listed in actions.

Source

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

Sourceval to_yojson : t -> Yojson.Safe.t

Sourceval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

Printers

Sourceval to_string : t -> string

Simulation

Sourceval is_fireable : State.t -> Expr.env -> t -> bool

is_fireable src env t returns true iff transition t is fireable when the enclosing FSM is in state state and the inputs and local variables have values recorded in environment env.

package fsml

Module Fsml.TransitionSource

FSM Transitions

Printers

Simulation

Module `Fsml.Transition`Source