lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Prevar
val format : string -> string

To pretty print pre var. Leave the string unchanged if it is not a pre var

val is_pre_var : string -> bool

is_pre_va vn returns iff vn is a pre variable.

val get_root_var_name : string -> string

get the root name of the variable the pre holds on. e.g, get_var_names "$p1x" returns "x", and "$p2x" returns "x" too.

val get_pre_var_name : string -> string

get the name of the variable the pre holds on. e.g, get_pre_var_names "$p1x" returns "x", and "$p2x" returns "$p1x"

val give_pre_var_name : string -> string

give_pre_var_name u returns the string encoding of pre u