package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Library
Module
Module type
Parameter
Class
Class type
type carray = (float, Stdlib.Bigarray.float64_elt, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t
type zarray = (int32, Stdlib.Bigarray.int32_elt, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t
val cmake : int -> (float, Stdlib.Bigarray.float64_elt, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t
val zmake : int -> (int32, Stdlib.Bigarray.int32_elt, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t
val length : ('a, 'b, 'c) Stdlib.Bigarray.Array1.t -> int
val get : ('a, 'b, 'c) Stdlib.Bigarray.Array1.t -> int -> 'a
val set : ('a, 'b, 'c) Stdlib.Bigarray.Array1.t -> int -> 'a -> unit
val get_zin : (int32, 'a, 'b) Stdlib.Bigarray.Array1.t -> int -> bool
val zzero : (int32, 'a, 'b) Stdlib.Bigarray.Array1.t -> int -> unit
type 's f_alloc = unit -> 's
type 's f_maxsize = 's -> int * int
type 's f_csize = 's -> int
type 's f_zsize = 's -> int
type ('s, 'o) f_step = 's -> carray -> carray -> zarray -> float -> 'o
type 's f_ders = 's -> carray -> carray -> zarray -> carray -> float -> unit
type 's f_zero = 's -> carray -> zarray -> carray -> float -> unit
type 's f_reset = 's -> unit
type 's f_horizon = 's -> float
val time_eq : float -> float -> bool
val time_leq : float -> float -> bool
val time_geq : float -> float -> bool
module type STATE_SOLVER = sig ... end
module type STATE_SOLVER_SENS = sig ... end
module type ZEROC_SOLVER = sig ... end
module type RUNTIME = sig ... end
module type DISCRETE_RUNTIME = sig ... end