package lutin

  1. Overview
  2. Docs

Module AutoGenSource

COMPILATION/GENERATION D'AUTOMATE : interface ------------------------------------------------------------

La génération d'automate intervient après l'expansion, qui a produit les infos suivantes :

_support_tab : (CoIdent.t, support_info) Hashtbl.t _alias_tab : (CoIdent.t, alias_info) Hashtbl.t _trace_tab : (CoIdent.t, trace_info) Hashtbl.t _main_trace : CoIdent.t

Les exceptions ont été expansées en place, par des identificateurs uniques dans le expressions associées. Il n'y a donc pas de table pour elles.

WARNING: 2011/01/05 Split between (full) construction (AutoGen) and on the fly exploration (AutoExplore)

----------------------------------------------------------

Sourcetype weightexp =
  1. | W_huge
  2. | W_exp of CoAlgExp.t

le type du résultat

Sourcetype gtree = string * gtree_node
Sourceand gtree_node =
  1. | GT_leaf of Guard.t * string
  2. | GT_choice of (weightexp option * gtree) list
  3. | GT_stop of string
Sourceval gtree_size : gtree -> int
Sourcetype trans = {
  1. src : string;
  2. wgt : weightexp option;
  3. form : Guard.t;
  4. dest : string;
}
Sourcetype state_info =
  1. | SS_stable of Expand.tbl CoTraceExp.t
  2. | SS_transient
  3. | SS_final of string
Sourcetype t
Sourcetype config
Sourceval make_config : string -> config
Sourceval source : t -> Expand.t
Sourceval init_control : t -> string
Sourceval transitions : t -> trans list
Sourceval config2gtree : t -> config -> gtree * t
Sourceval config2trans : t -> config -> trans list * t
Sourceval init : Expand.t -> t
Sourceval make : Expand.t -> t
Sourceval get_state_def : t -> string -> Expand.tbl CoTraceExp.t
Sourceval get_state_info : t -> string -> state_info
Sourceval dump : t -> unit
OCaml

Innovation. Community. Security.