zelus

API

Library zelus

• Basics
• Defaultsolver
• Dump
• Illinois
• Lift
• Node
• Node_base
• Odexx
• Run
• Solvers
• Zls
• Zlsolve
• Zlsrun
• Ztypes

Library zelus.zlcompilerlibs

• Activate
• Add_copy_for_last
• Aform
• Automata
• Causal
• Causality
• Complete
• Config
• Control
• Copy
• Cost Simple cost function for an expression
• Cse
• Deadcode
• Defcaus Type definitions.
• Definit Type definitions.
• Deftypes
• Depend
• Dependences
• Deps_tools
• Disc
• Encore
• Global
• Graph
• Horizon
• Ident
• Init
• Initial
• Initialization
• Inline
• Inout
• Interface
• Letin
• Lexer
• Lident
• Lmm
• Location
• Markfunctions
• Match2condition
• Matching
• Misc
• Modules
• Oaux
• Obc
• Ocamlprinter
• Oprinter
• Parser
• Parsetree
• Patternsig
• Pcaus
• Period
• Pinit
• Plmm
• Pp_tools
• Pre
• Present
• Printer
• Proba
• Ptypes
• Reduce reduce expressions that are tagged to be static; leave other unchanged
• Remove_last_in_patterns
• Reset
• Schedule
• Scoping
• Shared
• Static static evaluation of expressions
• Total
• Translate
• Typerrors
• Types
• Typing
• Unsafe
• Vars
• Write
• Zaux
• Zelus
• Zlus2lmm
• Zopt