lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Sol_nb
type sol_nb
val add_sol_nb : sol_nb -> sol_nb -> sol_nb
val mult_sol_nb : sol_nb -> sol_nb -> sol_nb
val div_sol_nb : sol_nb -> sol_nb -> sol_nb
val zero_sol : sol_nb
val one_sol : sol_nb
val eq_sol_nb : sol_nb -> sol_nb -> bool
val two_power_of : int -> sol_nb
val float_of_sol_nb : sol_nb -> float
val string_of_sol_nb : sol_nb -> string
val sol_nb_of_float : float -> sol_nb