package zelus

You can search for identifiers within the package.

in-package search v0.2.0

package zelus

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

module S : sig ... end

a set of initialization names

module M : sig ... end

val fprint_t : Format.formatter -> S.t -> unit

val fprint_tt : Format.formatter -> S.t M.t -> unit

type error =

| Iless_than

exception Clash of error

val new_var : unit -> Definit.t

val ivalue : Definit.value -> Definit.t

val ione : Definit.t

val ihalf : Definit.t

val izero : Definit.t

val funtype : Definit.ti -> Definit.ti -> Definit.ti

val funtype_list : Definit.ti list -> Definit.ti -> Definit.ti

val product : Definit.ti list -> Definit.ti

val atom : Definit.t -> Definit.ti

val irepr : Definit.t -> Definit.t

val equal : Definit.t -> Definit.t -> bool

val add : Definit.t -> Definit.t list -> Definit.t list

val remove : Definit.t -> Definit.t list -> Definit.t list

val union : Definit.t list -> Definit.t list -> Definit.t list

val set : Definit.t list -> Definit.t list

val polarity_c : Definit.t -> bool -> unit

Sets the polarity of a type.

val increase_polarity : Definit.polarity -> Definit.t -> unit

val saturate_i : bool -> Definit.t -> unit

val less_v : Definit.value -> Definit.value -> bool

val less : Definit.ti -> Definit.ti -> unit

Sub-typing

val less_i : Definit.t -> Definit.t -> unit

val skeleton : Deftypes.typ -> Definit.ti

Computing an initialization type from a type

val skeleton_on_i : Definit.t -> Deftypes.typ -> Definit.ti

val fresh_on_i : Definit.t -> Definit.ti -> Definit.ti

val suptype : bool -> Definit.ti -> Definit.ti -> Definit.ti

val sup_i : bool -> Definit.t -> Definit.t -> Definit.t

val visit : int -> Definit.ti -> unit

val visit_i : int -> Definit.t -> unit

val mark : bool -> Definit.ti -> unit

Mark useful/useless types and sets the polarity

val imark : bool -> Definit.t -> unit

val shorten : Definit.ti -> unit

val shorten_i : Definit.t -> unit

val short_list : bool -> Definit.t list -> Definit.t list -> Definit.t list

val remove_polarity : Definit.polarity -> Definit.t list -> Definit.t list

val short : bool -> Definit.t list -> Definit.t -> Definit.t list

val simplify : bool -> Definit.ti -> Definit.ti

val isimplify : bool -> Definit.t -> Definit.t

val list_of_vars : S.elt list ref

Generalisation of a type

val gen : Definit.ti -> unit

val igen : S.elt -> int

val gen_set : S.elt list -> int

val relation : S.elt list -> (S.elt * Definit.t list) list

Computes the dependence relation from a list of initialisation variables

val generalise : Definit.ti -> Definit.ti_scheme

Main generalisation function

val links : Definit.t list ref

Instantiation of a type

val save : Definit.t -> unit

val cleanup : unit -> unit

val copy : Definit.ti -> Definit.ti

val icopy : Definit.t -> Definit.t

val subtype : bool -> Definit.ti -> Definit.ti

val halftype : bool -> Definit.ti -> Definit.ti

val half_i : bool -> Definit.t -> Definit.t

val instance : Global.value_desc -> Deftypes.typ -> Definit.ti

val filter_arrow : Definit.ti -> Definit.ti * Definit.ti

val filter_product : Definit.ti -> Definit.ti list

type tentry = {

t_typ : Definit.ti;
t_last : Definit.t;

}

An entry in the type environment

val penv : Format.formatter -> tentry Zident.Env.t -> unit