Index of values

add_assoc (k,v) l returns the assocation list obtained by adding pair (k,v) to l when key k does not appear in l.

bit_size n returns the minimum number of bits required to represent n

bit_size n returns the number of bits required for representing n

build name gtyps gfns gcsts fsms builds a system description from a list of global types, function and constant declarations and FSM instances

check_cond f env c evaluatues condition c in FSM f, in the context of local env env.

collect f l returns the association list built from applying f to each element of l and collecting all the (k,v) resulting pairs.

create sf creates a dynamic FSM instance from a static description sf

dot_output dir m writes a DOT representation of system m in directory dir and returns a list of the written files

dot_output dir f writes a DOT representation of FSM instance f in directory dir.

dot_output_model dir m writes a DOT representation of FSM model m in directory dir.

tycons_of t returns the list of enum constructors occuring in type t, with the associated type

eval env e evaluates expression e in the context of environment env

eval_guards env [g1;...gN] is true iff eval_guard env gi is true for each i=1...N

fireable f env t returns true iff transition t in FSM f is fireable, given ocal env env.

This variant of List.fold_left allows fold_lefts to be chained with |>

get_bits hi lo n returns the value represented by the bit range hi..lo in n.

id x is simply x

init env f performs the initial transition of FSM f, in global environment env, Returns an updated fsm and list of events consisting of updates to global outputs or shared objects, updates to local variables (including state move)

is_event_set env ev indicates whether event ev is set in local environment env

is_event_type t is true iff t=TyEvent

is_lit_name n returns true iff n=NmLit _

is_rtl t returns true iff each variable written by transition t is written only once.

is_rtl f is true iff all is_rtl a for all actions a of f

ivars_of t returns the list of index variables occuring in type t

list_split_at k [x1;...;xn] returns [x1;...;xk],[xk+1;...;xn] if 1<=k<=n.

react t ctx stimuli computes a global reaction in ctx at time t given a set of stimuli stimuli, producing an updated context ctx' and a set of responses resps.

react t env f compute the reaction, at time t of FSM f in global environment env.

rename f l renames f v each variable v occurring in l

rename f a renames f v each variable v occurring in a

rename f c renames f v each variable v occurring in c

run m runs a simulation of system m, returning the final context and a list of timed responses

set_bits hi lo n v returns the value obtained by setting by the bit range hi..lo in n to v.

size_of t returns the "size" of type

subst env l replaces each variable v occuring in l by its value if found in env, simplifying the resulting expression whenever possible.

subst env a replaces each variable v occuring in a by its value if found in env, simplifying the resulting expression whenever possible.

subst env (evs,guards) replaces each variable v occuring in guards by its value if found in env, simplifying the resulting expression whenever possible.

subst senv e substitutes each occurence of variable v listed in senv by its value in e

subst_indexes env t substitutes all index variables listed in env in type t

subtype (TyArray (sz,ty') returns the ty', ...

to_string s n returns binary representation, as a string of length s of integer n

type_stimuli env id ty sd type checks an input stimuli description sd against type ty

type_equal b t t' returns true iff types t and t' are "equivalent".

type_expression env e returns the type of expression e in environment env, performing all required type checks.

type_fsm_inst env f type checks an FSM instance f in environment env.

type_fsm_model env m type checks an FSM model in environment env

type_expression env te returns the type represented by type expression te in environment env

vars_of a returns the name of the variables read (resp.