package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

dune-project

Dependency

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

Authors

Maintainers

M

Marc Pouzet <marc.pouzet@ens.fr>

Sources

sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862

md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus/Ztypes/index.html

Module `Ztypes`Source

Sourcetype 'a continuous = {

mutable pos : 'a;
mutable der : 'a;

}

Sourcetype ('a, 'b) zerocrossing = {

mutable zin : 'a;
mutable zout : 'b;

}

Sourcetype 'a signal = 'a * bool

Sourcetype zero = bool

Sourcetype ('a, 'b) node =

| Node : {
1. alloc : unit -> 's;
2. step : 's -> 'a -> 'b;
3. reset : 's -> unit;
} -> ('a, 'b) node

Sourcetype ('a, 'b) cnode =

| 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 cvec = (float, Bigarray.float64_elt, Bigarray.c_layout) Bigarray.Array1.t

Sourcetype dvec = (float, Bigarray.float64_elt, Bigarray.c_layout) Bigarray.Array1.t

Sourcetype zinvec = (int32, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t

type zoutvec =
  (float, Bigarray.float64_elt, Bigarray.c_layout) Bigarray.Array1.t

Sourcetype cstate = {

mutable dvec : dvec;
mutable cvec : cvec;
mutable zinvec : zinvec;
mutable zoutvec : zoutvec;
mutable cindex : int;
mutable zindex : int;
mutable cend : int;
mutable zend : int;
mutable cmax : int;
mutable zmax : int;
mutable horizon : float;
mutable major : bool;

}

Sourcetype ('a, 'b) hnode = cstate -> (time * 'a, 'b) node

Sourcetype 'b hsimu =

| 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 =

| 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