package lutin

You can search for identifiers within the package.

in-package search v0.2.0

lutin
- Auto2Lucky
- AutoGen
- Bddd
- CheckEnv
- CheckType
- CkIdentInfo
- CkTypeEff
- CoAlgExp
- CoIdent
- CoTraceExp
- Constraint
- Draw
- Exp
- ExpEval
- Expand
- ExprUtil
- FGen
- Formula_to_bdd
- GenOcamlGlue
- Glue
- Gne
- Guard
- Lexeme
- LoopWeights
- Luc2alice
- Luc2c
- LucFGen
- Lucky
- LutErrors
- LutExe
- LutLexer
- LutParser
- LutPredef
- LutProg
- LutinRun
- LutinUtils
- MainArg
- Ne
- Parsers
- Poly_draw
- Polyhedron
- Prevar
- Prog
- Reactive
- Rif
- Sol_nb
- Solver
- Store
- Syntaxe
- SyntaxeDump
- Thickness
- Type
- Util
  - StringMap
- Utils
- Value
- Var
- Verbose
- Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

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)

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

type weightexp =

| W_huge
| W_exp of CoAlgExp.t

le type du r�sultat

type gtree = string * gtree_node

and gtree_node =

| GT_leaf of Guard.t * string
| GT_choice of (weightexp option * gtree) list
| GT_stop of string

val gtree_size : gtree -> int

type trans = {

src : string;
wgt : weightexp option;
form : Guard.t;
dest : string;

}

type state_info =

| SS_stable of Expand.tbl CoTraceExp.t
| SS_transient
| SS_final of string

type t

type config

val make_config : string -> config

val source : t -> Expand.t

val init_control : t -> string

val transitions : t -> trans list

val config2gtree : t -> config -> gtree * t

val config2trans : t -> config -> trans list * t

val init : Expand.t -> t

val make : Expand.t -> t

val get_state_def : t -> string -> Expand.tbl CoTraceExp.t

val get_state_info : t -> string -> state_info

val states : t -> state_info Util.StringMap.t

val dump : t -> unit