package zelus

You can search for identifiers within the package.

in-package search v0.2.0

zelus
- 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 `Total`

val union : Deftypes.defnames -> Deftypes.defnames -> Deftypes.defnames

Names written in a block

val add : 
  Zlocation.location ->
  Deftypes.defnames ->
  Deftypes.defnames ->
  Deftypes.defnames

val all_last : 
  Zlocation.location ->
  Deftypes.tentry Zident.Env.t ->
  Zident.S.t ->
  unit

val merge_defnames_list : 
  Deftypes.defnames list ->
  (Zident.S.t * Zident.S.t)
  * (Zident.S.t * Zident.S.t)
  * (Zident.S.t * Zident.S.t)
  * (Zident.S.t * Zident.S.t)
  * (Zident.S.t * Zident.S.t)

val merge : 
  Zlocation.location ->
  Deftypes.tentry Zident.Env.t ->
  Deftypes.defnames list ->
  Deftypes.defnames

val join : 
  Zlocation.location ->
  Deftypes.defnames ->
  Deftypes.defnames ->
  Deftypes.defnames

module Automaton : sig ... end

Check that every variable defined in an automaton

package zelus

Module Total

Module `Total`