lutin

API

Library lutin

• Auto2Lucky COMPILATION/GENERATION D'AUTOMATE : ------------------------------------------------------------
• AutoGen COMPILATION/GENERATION D'AUTOMATE : interface ------------------------------------------------------------
• Bddd Bdd Drawer.
• CheckEnv TYPE/BINDING CHECK : environnement
• CheckType
• CkIdentInfo TYPE/BINDING CHECK : infos associées aux idents
• CkTypeEff TYPE/BINDING CHECK : typage
• CoAlgExp COMPILATION/EXPANSION : expressions algébriques
• CoIdent COMPILATION/EXPANSION : idents et retour au source
• CoTraceExp COMPILATION/EXPANSION : expressions de traces
• Constraint 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 : main
• ExprUtil
• 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 commande
• Ne Internal (normal) representation of expressions.
• Parsers SYNTAXE : interface du parser mlyacc
• Poly_draw Drawing into convex Polyhedron.
• Polyhedron Miscellaneous functions over polyhedra.
• Prevar Internal representation of pre variables.
• Prog
• Reactive
• Rif RIF (Reactive Input Format) utilities
• Sol_nb
• Solver Formula solver.
• Store Numeric constraint store.
• Syntaxe SYNTAXE ABSTRAITE
• SyntaxeDump SYNTAXE ABSTRAITE : dump
• Thickness 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 divers
• Value Internal representation of values (bool, int, floats) manipulated in lurette.
• Var Lucky variables.
• Verbose
• Version