lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module LutPredef
val lutin_env : CheckEnv.t
val infixed_tab : ( string, string list ) Hashtbl.t
val as_infixed_syntax : string -> string list option
val kw_tiny : string
val kw_huge : string
val kw_interval_goon : string

poids dynamique des boucles intervalle : les params sont

  • le nombre de boucles dj effectues (pre cpt)
  • le nombre min
  • le nombre max
val kw_interval_stop : string
val kw_average_goon : string
val kw_average_stop : string
val kw_deadlock : string
val declare_op : string -> CkTypeEff.profile -> string list -> unit
val kw_not : string
val kw_or : string
val kw_xor : string
val kw_nxor : string
val kw_nor : string
val kw_diese : string
val kw_and : string
val kw_impl : string
val kw_eq : string
val kw_neq : string
val kw_ite : string
val kw_div : string
val kw_mod : string
val kw_uminus : string
val kw_plus : string
val kw_minus : string
val kw_times : string
val kw_slash : string
val kw_lt : string
val kw_gt : string
val kw_lte : string
val kw_gte : string