package zelus

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package zelus

zelus
- README
- Library zelus
  - Basics
  - Defaultsolver
  - Dump
  - Illinois
  - Lift
  - Node
    
    Make
    
    Ode23Solver
    
    Ode45Solver
  - Node_base
    
    Make
    
    Ode23Solver
    
    Ode45Solver
  - Odexx
    
    BUTCHER_TABLEAU
    
    GenericODE
    
    Ode23
    
    Ode45
  - Run
  - Solvers
    
    BUTCHER_TABLEAU
    
    GenericODE
    
    Ode23
    
    Ode45
  - Zls
    
    STATE_SOLVER
    
    STATE_SOLVER_SENS
    
    ZEROC_SOLVER
    
    RUNTIME
    
    DISCRETE_RUNTIME
  - Zlsolve
    
    ZELUS_SOLVER
    
    Make
  - Zlsrun
    
    Make
  - Ztypes
- Library zelus.zlcompilerlibs
  - Activate
  - Add_copy_for_last
  - Aform
  - Automata
    
    TableOfTypes
  - Causal
    
    S
    
    M
    
    K
  - Causality
  - Compiler
  - Complete
  - Control
  - Copy
  - Cost
  - Cse
  - Defcaus
  - Definit
  - Deftypes
  - Dependences
  - Deps_tools
  - Disc
  - Encore
  - Fixstep
  - Global
  - Graph
    
    S
    
    E
  - Horizon
  - Init
    
    S
    
    M
  - Initial
  - Initialization
  - Inline
  - Inout
  - Interface
  - Letin
  - Lident
  - Lmm
  - Markfunctions
  - Match2condition
  - Modules
    
    E
  - Oaux
  - Obc
  - Ocamlprinter
  - Oprinter
  - Patternsig
    
    LANG
    
    C
    
    SSet
  - Pcaus
    
    S
    
    M
  - Period
  - Pinit
  - Plmm
  - Pp_tools
  - Pre
  - Present
  - Printer
  - Proba
  - Ptypes
  - Reduce
  - Remove_last_in_patterns
  - Reset
  - Schedule
  - Scoping
    
    Error
    
    S
    
    Rename
  - Shared
  - Simulator
  - Static
  - Total
    
    Automaton
  - Translate
  - Typerrors
  - Typing
  - Unsafe
  - Vars
  - Write
  - Zaux
  - Zconfig
  - Zdeadcode
  - Zdepend
    
    StringSet
  - Zelus
  - Zident
    
    M
    
    Env
    
    S
  - Zlexer
  - Zlocation
  - Zlus2lmm
  - Zmatching
    
    SIG
    
    PATTERN_CHECKER
    
    SSet
  - Zmisc
    
    S
    
    Env
    
    name_generator
    
    name_assoc_table
    
    State
  - Zopt
  - Zparser
    
    MenhirInterpreter
    
    Incremental
  - Zparsetree
  - Ztypes
- Sources
  - zelus
    
    basics.ml
    
    defaultsolver.ml
    
    dump.ml
    
    illinois.ml
    
    lift.ml
    
    node.ml
    
    node_base.ml
    
    odexx.ml
    
    run.ml
    
    solvers.ml
    
    zls.ml
    
    zlsolve.ml
    
    zlsrun.ml
    
    ztypes.ml
  - zelus.zlcompilerlibs
    
    zconfig.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Zlsrun.Make`Source

Parameters

module _ : Zls.STATE_SOLVER

Signature

Sourceval go : unit Ztypes.hsimu -> unit

Sourceval check : bool Ztypes.hsimu -> int -> unit

package zelus

Module Zlsrun.MakeSource

Parameters

Signature

Module `Zlsrun.Make`Source