package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus/Ztypes/index.html

Module ZtypesSource

Sourcetype 'a continuous = {
  1. mutable pos : 'a;
  2. mutable der : 'a;
}
Sourcetype ('a, 'b) zerocrossing = {
  1. mutable zin : 'a;
  2. mutable zout : 'b;
}
Sourcetype 'a signal = 'a * bool
Sourcetype zero = bool
Sourcetype ('a, 'b) node =
  1. | Node : {
    1. alloc : unit -> 's;
    2. step : 's -> 'a -> 'b;
    3. reset : 's -> unit;
    } -> ('a, 'b) node
Sourcetype ('a, 'b) cnode =
  1. | Cnode : {
    1. alloc : unit -> 's;
    2. copy : 's -> 's -> unit;
    3. step : 's -> 'a -> 'b;
    4. reset : 's -> unit;
    } -> ('a, 'b) cnode
Sourcetype time = float
Sourcetype cstate = {
  1. mutable dvec : dvec;
  2. mutable cvec : cvec;
  3. mutable zinvec : zinvec;
  4. mutable zoutvec : zoutvec;
  5. mutable cindex : int;
  6. mutable zindex : int;
  7. mutable cend : int;
  8. mutable zend : int;
  9. mutable cmax : int;
  10. mutable zmax : int;
  11. mutable horizon : float;
  12. mutable major : bool;
}
Sourcetype ('a, 'b) hnode = cstate -> (time * 'a, 'b) node
Sourcetype 'b hsimu =
  1. | Hsim : {
    1. alloc : unit -> 's;
    2. maxsize : 's -> int * int;
    3. csize : 's -> int;
    4. zsize : 's -> int;
    5. step : 's -> cvec -> dvec -> zinvec -> time -> 'b;
    6. derivative : 's -> cvec -> dvec -> zinvec -> zoutvec -> time -> unit;
    7. crossings : 's -> cvec -> zinvec -> zoutvec -> time -> unit;
    8. reset : 's -> unit;
    9. horizon : 's -> time;
    } -> 'b hsimu
Sourcetype ('a, 'b) hsnode =
  1. | Hnode : {
    1. state : 's;
    2. zsize : int;
    3. csize : int;
    4. derivative : 's -> 'a -> time -> cvec -> dvec -> unit;
    5. crossing : 's -> 'a -> time -> cvec -> zoutvec -> unit;
    6. output : 's -> 'a -> cvec -> 'b;
    7. setroots : 's -> 'a -> cvec -> zinvec -> unit;
    8. majorstep : 's -> time -> cvec -> 'a -> 'b;
    9. reset : 's -> unit;
    10. horizon : 's -> time;
    } -> ('a, 'b) hsnode