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
• Compiler
• Complete
• Control
• Copy
• Cost Simple cost function for an expression
• Cse
• Defcaus Type definitions.
• Definit Type definitions.
• Deftypes
• Dependences
• Deps_tools
• Disc
• Encore
• Fixstep
• Global
• Graph
• Horizon
• Init
• Initial
• Initialization
• Inline
• Inout
• Interface
• Letin
• Lident
• Lmm
• Markfunctions
• Match2condition
• Modules
• Oaux
• Obc
• Ocamlprinter
• Oprinter
• 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
• Simulator
• Static static evaluation of expressions
• Total
• Translate
• Typerrors
• Typing
• Unsafe
• Vars
• Write
• Zaux
• Zconfig
• Zdeadcode
• Zdepend
• Zelus
• Zident
• Zlexer
• Zlocation
• Zlus2lmm
• Zmatching
• Zmisc
• Zopt
• Zparser
• Zparsetree
• Ztypes