Auto2Lucky COMPILATION/GENERATION D'AUTOMATE : ------------------------------------------------------------AutoGen COMPILATION/GENERATION D'AUTOMATE : interface ------------------------------------------------------------Bddd Bdd Drawer.CheckEnv TYPE/BINDING CHECK : environnementCheckType CkIdentInfo TYPE/BINDING CHECK : infos associées aux identsCkTypeEff TYPE/BINDING CHECK : typageCoAlgExp COMPILATION/EXPANSION : expressions algébriquesCoIdent COMPILATION/EXPANSION : idents et retour au sourceCoTraceExp COMPILATION/EXPANSION : expressions de tracesConstraint Internal representation of constraints used in formula, namely, linear constraints over Booleans, integers, and floats.Draw Draw values inside in a polyhedron and ranges.Exp Lucky Boolean and numeric expressions.ExpEval Expand EXPANSION : mainExprUtil FGen Formula_to_bdd Encoding formula and expressions into bdds.GenOcamlGlue Glue Gne Garded normal expressions.Guard Lexeme LoopWeights Luc2alice Luc2c LucFGen Lucky This module defines Lucky top-level functions step and try.LutErrors LutExe LutLexer LutParser LutPredef LUTIN2 : identificateurs prédéfinis (dont opérateurs algébriques)LutProg LutinRun LutinUtils MainArg LUTIN2 : arguments de la commandeNe Internal (normal) representation of expressions.Parsers SYNTAXE : interface du parser mlyaccPoly_draw Drawing into convex Polyhedron.Polyhedron Miscellaneous functions over polyhedra.Prevar Internal representation of pre variables.Prog Reactive Rif RIF (Reactive Input Format) utilitiesSol_nb Solver Formula solver.Store Numeric constraint store.Syntaxe SYNTAXE ABSTRAITESyntaxeDump SYNTAXE ABSTRAITE : dumpThickness Defines thickness data type. The thickness states how many test vectors are generated at each step.Type Util Miscellaneous general purposes functions.Utils Annexe : utilitaires diversValue Internal representation of values (bool, int, floats) manipulated in lurette.Var Lucky variables.Verbose Version