lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Value
type num =
| I of Num.num
| F of float
type t =
| B of bool
| N of num
val to_data_val : t -> Data.v
val from_data_val : Data.v -> t
val num_is_int : num -> bool
val mult_num : num -> num -> num

Various operations on num values.

val diff_num : num -> num -> num
val add_num : num -> num -> num
val div_num : num -> num -> num
val modulo_num : num -> num -> num
val quot_num : num -> num -> num
val num_eq_zero : num -> bool

num_eq_zero ne returns true iff ne = 0

val num_sup_zero : num -> bool

num_sup_zero ne returns true iff ne > 0

val num_supeq_zero : num -> bool

num_supeq_zero ne returns true iff ne >= 0

val neg : num -> num

neg ne returns -ne