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 `Shared`

val shared : Zident.S.t -> Deftypes.tentry Zident.Env.t -> Zident.S.t

val remove_is_copy : 
  ('a * 'b * 'c) Zident.Env.t ->
  ('a * bool * 'c) Zident.Env.t

val add_equations_for_copies : 
  Zelus.eq list ->
  (Zident.t * bool * Deftypes.typ) Zident.Env.t ->
  Zelus.eq list

val add_locals_for_copies : 
  Zelus.vardec list ->
  Deftypes.tentry Zident.Env.t ->
  (Zident.Env.key * 'a * Deftypes.typ) Zident.Env.t ->
  Zelus.vardec list * Deftypes.tentry Zident.Env.t

val pattern : 
  Zident.S.t ->
  (Zident.t * bool * Deftypes.typ) Zident.Env.t ->
  Zelus.pattern ->
  Zelus.pattern * (Zident.t * bool * Deftypes.typ) Zident.Env.t

val equation : 
  Zident.S.t ->
  (Zident.Env.key * bool * Deftypes.typ) Zident.Env.t ->
  Zelus.eq ->
  Zelus.eq * (Zident.Env.key * bool * Deftypes.typ) Zident.Env.t

val equation_list : 
  Zident.S.t ->
  (Zident.Env.key * bool * Deftypes.typ) Zident.Env.t ->
  Zelus.eq list ->
  Zelus.eq list * (Zident.Env.key * bool * Deftypes.typ) Zident.Env.t

val local : Zelus.local -> Zelus.local

val block : 
  Zident.S.t ->
  Zelus.eq list Zelus.block ->
  Zelus.eq list Zelus.block

val exp : Zelus.exp -> Zelus.exp

val implementation : 
  Zelus.implementation_desc Zelus.localized ->
  Zelus.implementation_desc Zelus.localized

val implementation_list : 
  Zelus.implementation_desc Zelus.localized list ->
  Zelus.implementation_desc Zelus.localized list

package zelus

Module Shared

Module `Shared`