lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module LutProg
type t
val make : ?libs:string list option -> string list -> string -> t * Prog.t

make infile mnode

val get_init_state : ?verb_level:int -> t -> Prog.t -> Prog.state
val make_state : ?libs:string list option -> ?verb_level:int -> string list -> string -> Prog.state

make_state infile mnode