lutin 2.71.15

Libraries

This package provides the following libraries (via ocamlobjinfo):

lutin

Documentation:

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