lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module LucFGen
val get : Var.env_in -> Prog.state ref -> FGen.t list