package zelus

You can search for identifiers within the package.

in-package search v0.2.0

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 `Node_base`Source

Sourceval debug : bool ref

Sourceval log_info : string -> float -> unit

Sourcetype status =

| Interpolate
| Success of float
| RootsFound
| Horizon of float
| Cascade
| StopTimeReached
| TimeHasPassed
| Error

Sourcetype 'b return = {

time : float;
status : status;
result : 'b;

}

Source

module Make
  (SSolver : Zls.STATE_SOLVER)
  (ZSolver : Zls.ZEROC_SOLVER) : 
  sig ... end

Sourcemodule Ode23Solver : sig ... end

Sourcemodule Ode45Solver : sig ... end

Source

val solve_ode23 : 
  (Ztypes.cstate -> (Ztypes.time * 'a, 'b) Ztypes.node) ->
  float ->
  (float * 'a, 'b return) Ztypes.node

Source

val solve_ode45 : 
  (Ztypes.cstate -> (Ztypes.time * 'a, 'b) Ztypes.node) ->
  float ->
  (float * 'a, 'b return) Ztypes.node

package zelus

Module Node_baseSource

Module `Node_base`Source