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

type name = string

type exp =

| Oconst of immediate
| Oconstr0 of Lident.t
| Oconstr1 of Lident.t * exp list
| Oglobal of Lident.t
| Olocal of Zident.t
| Ovar of is_mutable * Zident.t
| Ostate of left_state_value
| Oaccess of exp * exp
| Oupdate of size * exp * exp * exp
| Oslice of exp * size * size
| Oconcat of exp * size * exp * size
| Ovec of exp * size
| Otuple of exp list
| Oapp of exp * exp list
| Orecord of (Lident.t * exp) list
| Orecord_access of exp * Lident.t
| Orecord_with of exp * (Lident.t * exp) list
| Otypeconstraint of exp * type_expression
| Oifthenelse of exp * exp * exp
| Omethodcall of method_call
| Oinst of inst

and is_mutable = bool

and inst =

| Olet of pattern * exp * inst
| Oletvar of Zident.t * is_mutable * Deftypes.typ * exp option * inst
| Ofor of bool * Zident.t * exp * exp * inst
| Owhile of exp * inst
| Omatch of exp * inst match_handler list
| Oif of exp * inst * inst option
| Oassign of left_value * exp
| Oassign_state of left_state_value * exp
| Osequence of inst list
| Oexp of exp

and is_shared = bool

and left_value =

| Oleft_name of Zident.t
| Oleft_record_access of left_value * Lident.t
| Oleft_index of left_value * exp

and left_state_value =

| Oself
| Oleft_state_global of Lident.t
| Oleft_instance_name of Zident.t
| Oleft_state_name of Zident.t
| Oleft_state_record_access of left_state_value * Lident.t
| Oleft_state_index of left_state_value * exp
| Oleft_state_primitive_access of left_state_value * primitive_access

and primitive_access =

| Oder
| Ocont
| Ozero_out
| Ozero_in

and immediate =

| Oint of int
| Oint32 of int
| Obool of bool
| Ofloat of float
| Ochar of char
| Ostring of string
| Ovoid
| Oany

and pattern =

| Owildpat
| Otuplepat of pattern list
| Ovarpat of Zident.t * type_expression
| Oconstpat of immediate
| Oaliaspat of pattern * Zident.t
| Oconstr0pat of Lident.t
| Oconstr1pat of Lident.t * pattern list
| Oorpat of pattern * pattern
| Otypeconstraintpat of pattern * type_expression
| Orecordpat of (Lident.t * pattern) list

and 'a match_handler = {

w_pat : pattern;
w_body : 'a;

}

and machine = {

ma_kind : Deftypes.kind;
ma_params : pattern list;
ma_initialize : inst option;
ma_memories : mentry list;
ma_instances : ientry list;
ma_methods : method_desc list;

}

and mentry = {

m_name : Zident.t;
m_value : exp option;
m_typ : Deftypes.typ;
m_kind : Deftypes.mkind option;
m_size : exp path;

}

and ientry = {

i_name : Zident.t;
i_machine : exp;
i_kind : Deftypes.kind;
i_params : exp path;
i_size : exp list;

}

and method_desc = {

me_name : method_name;
me_params : pattern list;
me_body : inst;
me_typ : Deftypes.typ;

}

and method_call = {

met_machine : Lident.t option;
met_name : method_name;
met_instance : (Zident.t * exp path) option;
met_args : exp list;

}

and method_name = name

and 'a path = 'a list

and implementation_list = implementation list

and implementation =

| Oletvalue of name * inst
| Oletfun of name * pattern list * inst
| Oletmachine of name * machine
| Oopen of string
| Otypedecl of (string * string list * type_decl) list

and type_expression =

| Otypevar of string
| Otypefun of kind * Zident.t option * type_expression * type_expression
| Otypetuple of type_expression list
| Otypeconstr of Lident.t * type_expression list
| Otypevec of type_expression * size

and size =

| Sconst of int
| Sname of Zident.t
| Sglobal of Lident.t
| Sop of size_op * size * size

and size_op =

| Splus
| Sminus

and kind =

| Ofun
| Onode

and type_decl =

| Oabstract_type
| Oabbrev of type_expression
| Ovariant_type of constr_decl list
| Orecord_type of (string * type_expression) list

and constr_decl =

| Oconstr0decl of string
| Oconstr1decl of string * type_expression list