lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Luc2c
type gen_mode =
| Lustre
| Scade
| Alices
| Luciole
| Nop
type step_mode =
| Inside
| Edges
| Vertices
type optionT = {
mutable env : string list;
mutable main_node : string;
mutable boot : bool;
mutable load_mem : bool;
mutable pp : string option;
mutable output : string option;
mutable rif : string option;
mutable calling_module_name : string;
mutable gen_mode : gen_mode;
mutable step_mode : step_mode;
mutable seed : int option;
mutable precision : int option;
mutable use_sockets : bool;
mutable sock_addr : string;
mutable sock_port : int;
mutable output_dir : string;
mutable oracle_ec : string option;
}
val option : optionT
val main : Exp.var list -> Exp.var list -> Exp.var list -> unit