rfsm 1.4.2 · OCaml Package

type act_semantics =

| Sequential
| Synchronous

type fsm_config = {

mutable act_sep : string;
mutable act_sem : act_semantics;

}

val cfg : fsm_config

exception Undef_symbol of string * string * string

exception Invalid_state of string * string

exception Typing_error of string * string * Types.typ * Types.typ

module State : sig ... end

module TransLabel : sig ... end

module Repr : sig ... end

type state = State.t

type transition = State.t * TransLabel.t * State.t

type itransition = TransLabel.t * State.t

val string_of_transition : transition -> string

val string_of_state : state -> string

type model = {

fm_name : string;
fm_params : (string * Types.typ) list;
fm_ios : (string * (Types.dir * Types.typ)) list;
fm_vars : (string * Types.typ) list;
fm_repr : Repr.t;

}

type inst = {

f_name : string;
f_model : model;
f_params : (string * (Types.typ * Expr.value)) list;
f_inps : (string * (Types.typ * Global.global)) list;
f_outps : (string * (Types.typ * Global.global)) list;
f_inouts : (string * (Types.typ * Global.global)) list;
f_vars : (string * Types.typ) list;
f_repr : Repr.t;
f_l2g : string -> string;

}

val build_model : 
  name:string ->
  states:state list ->
  params:(string * Types.typ) list ->
  ios:(Types.dir * string * Types.typ) list ->
  vars:(string * Types.typ) list ->
  trans:
    (state
     * (Condition.event * Condition.guard list)
     * Action.t list
     * state
     * int)
      list ->
  itrans:(state * Action.t list) ->
  model

val build_instance : 
  name:string ->
  model:model ->
  params:(string * Expr.value) list ->
  ios:Global.global list ->
  inst

val states_of : inst -> state list

val istate_of : inst -> state option

val transitions_of : inst -> transition list

val itransitions_of : inst -> itransition list

val succs : inst -> state -> (state * TransLabel.t) list

val input_events_of : inst -> string list

val output_events_of : inst -> string list

val is_rtl : inst -> bool

exception Binding_mismatch of string * string * string

exception Invalid_parameter of string * string

exception Uninstanciated_type_vars of string * string * string * string list

type dot_options =

| OmitImplicitTransitions
| GlobalNames
| NoCaption

val dot_output_oc : 
  out_channel ->
  ?dot_options:Utils.Dot.graph_style list ->
  ?options:dot_options list ->
  inst ->
  unit

val dot_output : 
  ?fname:string ->
  ?dot_options:Utils.Dot.graph_style list ->
  ?options:dot_options list ->
  dir:string ->
  inst ->
  string

val dot_output_model : 
  ?fname:string ->
  ?dot_options:Utils.Dot.graph_style list ->
  ?options:dot_options list ->
  dir:string ->
  model ->
  string

val dump_model : out_channel -> model -> unit

val dump_inst : out_channel -> inst -> unit

package rfsm