package rfsm

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Static : Static.T

Signature

module Static = Static
type type_expr = Static.Syntax.type_expr
type c_type_defn =
  1. | CTyEnum of string list
type t = {
  1. c_mname : Ident.t;
  2. c_name : Ident.t;
  3. c_states : c_state list;
  4. c_params : (Ident.t * type_expr) list;
  5. c_inps : (Ident.t * type_expr) list;
  6. c_outps : (Ident.t * type_expr) list;
  7. c_inouts : (Ident.t * type_expr) list;
  8. c_vars : (Ident.t * type_expr) list;
  9. c_init : Static.Syntax.itransition_desc;
  10. c_body : c_state_case list;
  11. c_ddepth : int;
}
and c_state = Ident.t * (Ident.t * expr) list
and c_state_case = {
  1. st_src : Ident.t;
  2. st_sensibility_list : Ident.t list;
  3. st_transitions : (Ident.t * Static.Syntax.transition_desc list) list;
}
val pp : Stdlib.Format.formatter -> t -> unit
val of_fsm_model : Static.Syntax.model -> t
val of_fsm_inst : Static.t -> Static.fsm -> t
exception Error of string * string
OCaml

Innovation. Community. Security.