package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Builders
Accessors
Manipulators
Printers

rfsm
- Rfsm
  - Action
  - Builtins
  - Condition
  - Dynamic
  - Eval
  - Expr
  - Fsm
    
    State
    
    TransLabel
  - Global
  - Ident
  - Intbits
  - Misc
  - Simul
  - Static
    
    DepG
    
    E
    
    Mark
    
    V
  - Stimuli
  - Trace
  - Type_expr
  - Types
    
    Index
  - Typing

Legend:
Library
Module
Module type
Parameter
Class
Class type

Expressions and values

type t = {

mutable e_desc : e_desc;
mutable e_typ : Types.typ;

}

and e_desc =

| EInt of int
| EFloat of float
| EChar of char
| EBool of bool
| EEnum of string
| EVar of string
| EBinop of string * t * t
(*
e1 op e2
*)
| ECond of t * t * t
(*
e1 ? e2 : e3
*)
| EFapp of string * t list
(*
f(arg1,...,argn)
*)
| EArrExt of t list
(*
e1,...,e2
*)
| EArr of string * t
(*
ti when t is an array
*)
| EBit of string * t
(*
ti when t is an int
*)
| EBitrange of string * t * t
(*
thi:lo when t is an int
*)
| ERecord of string * string
(*
v.name when v is a record
*)
| ECast of t * Type_expr.t

type value = {

mutable v_desc : e_val;
mutable v_typ : Types.typ;

}

and e_val =

| Val_int of int
| Val_float of float
| Val_char of char
| Val_bool of bool
| Val_enum of string
| Val_fn of string list * t
(*
args, body
*)
| Val_unknown
| Val_none
(*
used for pure events
*)
| Val_array of value array
| Val_record of (string * value) list
(*
(Field name, value) list
*)

exception Out_of_bound of string * int

array name, index value

Builders

val mk_expr : e_desc -> t

val mk_var : string -> t

val mk_val : Types.typ -> e_val -> value

val mk_array : value list -> value

val mk_record : Types.name -> (string * Types.typ * value) list -> value

val mk_int : int -> value

val mk_float : float -> value

val mk_char : char -> value

val mk_bool : bool -> value

val array_update : string -> value array -> int -> value -> value array

val record_update : 
  string ->
  (string * value) list ->
  string ->
  value ->
  (string * value) list

val unset_event : value

val set_event : value

Accessors

val of_value : value -> e_desc

module VarSet : Stdlib.Set.S with type elt = string

val vars_of : t -> VarSet.t

Manipulators

val rename : (string -> string) -> t -> t

Printers

val string_of_expr : e_desc -> string

val to_string : t -> string

val string_of_val : e_val -> string

val string_of_value : value -> string

val string_of_opt_value : value option -> string