package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

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