package zelus

  1. Overview
  2. Docs

Interface for compiled functions

Configuring and calling the D-C solver

val enable_logging : unit -> unit
val min_step_size : float option ref
val max_step_size : float option ref
val max_sim_time : float option ref
val speedup : float ref
val step : 's Zls.f_alloc -> 's Zls.f_csize -> 's Zls.f_zsize -> 's Zls.f_horizon -> 's Zls.f_maxsize -> 's Zls.f_ders -> ('s, 'o) Zls.f_step -> 's Zls.f_zero -> 's Zls.f_reset -> unit -> 'o option * bool * float
OCaml

Innovation. Community. Security.