On This Page
package fsml
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Finite State Machines
type t = {id : string;(*Name
*)states : State.t list;inps : (string * Types.t) list;(*Inputs
*)outps : (string * Types.t) list;(*Outputs
*)vars : (string * Types.t) list;(*Local variables
*)trans : Transition.t list;itrans : State.t * Action.t list;(*Initial transition
*)
}The static description of a FSM
val pp :
Ppx_deriving_runtime.Format.formatter ->
t ->
Ppx_deriving_runtime.unitval show : t -> Ppx_deriving_runtime.stringval to_yojson : t -> Yojson.Safe.tval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval to_string : t -> stringto_string m writes a representation of FSM m as a string using the Yojson library.
val from_string : string -> tfrom_string s returns the FSM m stored in string s using the Yojson library
val to_file : fname:string -> t -> unitto_file f writes a representation of FSM m in file f using the Yojson library.
val from_file : fname:string -> tfrom_file f returns the FSM m stored in file f using the Yojson library
On This Page