lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module CoTraceExp
type escope = (CoIdent.t * CoAlgExp.t option) list

On exporte la structure du type

val new_escope : unit -> escope
val add_escope : escope -> (CoIdent.t * CoAlgExp.t option) -> escope
type src_info = CoIdent.scope_stack
type 't t =
| TE_eps
| TE_ref of CoIdent.t
| TE_constraint of CoAlgExp.t * src_info
| TE_fby of 't t * 't t
| TE_prio of 't t list
| TE_para of 't t list
| TE_choice of ('t t * CoAlgExp.t option) list
| TE_dyn_choice of int * (int * 't t) list
| TE_noeps of 't t
| TE_loop of 't t
| TE_omega of 't t
| TE_loopi of int * CoAlgExp.t * CoAlgExp.t * 't t * src_info
| TE_loopa of int * CoAlgExp.t * CoAlgExp.t option * 't t * src_info
| TE_dyn_loop of int -> int * int * int * 't t
| TE_assert of CoAlgExp.t * 't t * src_info
| TE_strong_assert of CoAlgExp.t * 't t * src_info
| TE_exist of escope * 't t
| TE_raise of string
| TE_try of 't t * 't t option
| TE_catch of string * 't t * 't t option
| TE_erun of string * escope * CoAlgExp.t list * 't t
| TE_dyn_erun of string * Reactive.prg * CoIdent.t list * CoAlgExp.t list * 't t
| TE_dyn_erun_ldbg of string * 't Reactive.prg_ldbg * CoIdent.t list * CoAlgExp.t list * 't t
| TE_run of string * CoAlgExp.t * escope * CoAlgExp.t list * 't t * src_info
| TE_dyn_run of string * Reactive.prg * CoAlgExp.t * escope * CoAlgExp.t list * 't t * src_info
| TE_dyn_run_ldbg of string * 't Reactive.prg_ldbg * CoAlgExp.t * escope * CoAlgExp.t list * 't t * src_info
val reset : unit -> unit

Rinitialisation du module pour les compteurs de loop (au cas o) ?

val nb_loops : unit -> int

Batterie de crateurs

val of_erun : string -> escope -> CoAlgExp.t list -> 't t -> 't t
val of_run : string -> CoAlgExp.t -> escope -> CoAlgExp.t list -> 't t -> src_info -> 't t
val of_constraint : CoAlgExp.t -> src_info -> 't t
val of_ref : CoIdent.t -> 't t
val of_loop : 't t -> 't t
val of_omega : 't t -> 't t
val of_loope : CoAlgExp.t -> 't t -> src_info -> 't t
val of_loopi : CoAlgExp.t -> CoAlgExp.t -> 't t -> src_info -> 't t
val of_loopa : CoAlgExp.t -> CoAlgExp.t option -> 't t -> src_info -> 't t
val of_fby : 't t -> 't t -> 't t
val of_prio : 't t list -> 't t
val of_para : 't t list -> 't t
val of_choice : ('t t * CoAlgExp.t option) list -> 't t
val of_assert : CoAlgExp.t -> 't t -> src_info -> 't t
val of_strong_assert : CoAlgExp.t -> 't t -> src_info -> 't t
val of_exist : escope -> 't t -> 't t
val of_raise : string -> 't t
val of_catch : string -> 't t -> 't t option -> 't t
val of_try : 't t -> 't t option -> 't t
val dump : 't t -> unit

Pretty print

val dumps : 't t -> string