package zelus

  1. Overview
  2. Docs
type (!'a, !'b) solver = ('a, 'b) Make(Solvers.Ode23)(Illinois).solver =
  1. | Init
  2. | Running of ('a0, 'b0) solver_state
and (!'a, !'b) solver_state = ('a, 'b) Make(Solvers.Ode23)(Illinois).solver_state = {
  1. zstate : Illinois.t;
  2. sstate : Solvers.Ode23.t;
  3. roots : Ztypes.zinvec;
  4. nvec : Solvers.Ode23.nvec;
  5. cvec : Ztypes.cvec;
  6. mutable t_start : float;
  7. mutable t_limit : float;
  8. mutable t_mesh : float;
  9. mutable t_time : float;
  10. minput : 'a0 Stdlib.ref;
  11. mutable output : 'b0;
  12. mutable next : simulation_state;
}
and simulation_state = Make(Solvers.Ode23)(Illinois).simulation_state =
  1. | Integrate
  2. | Discrete of bool
  3. | End
type (!'a, !'b) state = ('a, 'b) Make(Solvers.Ode23)(Illinois).state = {
  1. state : 'a0;
  2. mutable solver : 'b0;
}
val add_margin : float -> float
val solve : (Ztypes.cstate -> (Ztypes.time * 'a, 'b) Ztypes.node) -> float -> (float * 'c, 'd return) Ztypes.node