lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Luc2alice
type alice_args = {
env_name : string;
alice_module_name : string;
seed : int option;
env_in_vars : Exp.var list;
env_out_vars : Exp.var list;
use_sockets : bool;
output_dir : string;
}
val lucky_seed : int option -> string
val define_output_proc : string -> Exp.var list -> string
val soi : int -> string
val to_char : Type.t -> string
val gen_alice_var_tab : string -> string -> Exp.var list -> string
val gen_alice_stub : alice_args -> string
val my_open_out : string -> out_channel
val gen_alice_stub_c : alice_args -> unit
val gen_alice_stub_h : alice_args -> unit