package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ZlsSource

Sourceval length : ('a, 'b, 'c) Bigarray.Array1.t -> int
Sourceval get : ('a, 'b, 'c) Bigarray.Array1.t -> int -> 'a
Sourceval set : ('a, 'b, 'c) Bigarray.Array1.t -> int -> 'a -> unit
Sourceval get_zin : (int32, 'a, 'b) Bigarray.Array1.t -> int -> bool
Sourceval zzero : (int32, 'a, 'b) Bigarray.Array1.t -> int -> unit
Sourcetype 's f_alloc = unit -> 's
Sourcetype 's f_maxsize = 's -> int * int
Sourcetype 's f_csize = 's -> int
Sourcetype 's f_zsize = 's -> int
Sourcetype ('s, 'o) f_step = 's -> carray -> carray -> zarray -> float -> 'o
Sourcetype 's f_ders = 's -> carray -> carray -> zarray -> carray -> float -> unit
Sourcetype 's f_zero = 's -> carray -> zarray -> carray -> float -> unit
Sourcetype 's f_reset = 's -> unit
Sourcetype 's f_horizon = 's -> float
Sourceval time_eq : float -> float -> bool
Sourceval time_leq : float -> float -> bool
Sourceval time_geq : float -> float -> bool
Sourcemodule type STATE_SOLVER = sig ... end
Sourcemodule type STATE_SOLVER_SENS = sig ... end
Sourcemodule type ZEROC_SOLVER = sig ... end
Sourcemodule type RUNTIME = sig ... end
Sourcemodule type DISCRETE_RUNTIME = sig ... end