package lutin

  1. Overview
  2. Docs

LUTIN2 : identificateurs prédéfinis (dont opérateurs algébriques)

  • Les opérations algébriques sont traitées comme des opérateurs (i.e. macros) prédéfinies. (par oposition aux statements qui manipulent des trace)
  • Pour le pretty-print Lucky, on garde une table qui permet de retrouver la notation infixée correspondante
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 déjà effectuées (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
OCaml

Innovation. Community. Security.