package zelus

  1. Overview
  2. Docs
val length : ('a, 'b, 'c) Bigarray.Array1.t -> int
val get : ('a, 'b, 'c) Bigarray.Array1.t -> int -> 'a
val set : ('a, 'b, 'c) Bigarray.Array1.t -> int -> 'a -> unit
val get_zin : (int32, 'a, 'b) Bigarray.Array1.t -> int -> bool
val zzero : (int32, 'a, 'b) 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
OCaml

Innovation. Community. Security.