lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module FGen
type t = {
choose_one_formula : unit -> t * Exp.formula * Prog.ctrl_state;
get_all_formula : unit -> Exp.formula list;
}
exception NoMoreFormula
exception NormalStop of string