package zelus

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

Parameters

Signature

type ('a, 'b) solver =
  1. | Init
  2. | Running of ('a, 'b) solver_state
and ('a, 'b) solver_state = {
  1. zstate : ZSolver.t;
  2. sstate : SSolver.t;
  3. roots : Ztypes.zinvec;
  4. nvec : SSolver.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 : 'a Stdlib.ref;
  11. mutable output : 'b;
  12. mutable next : simulation_state;
}
and simulation_state =
  1. | Integrate
  2. | Discrete of bool
  3. | End
type ('a, 'b) state = {
  1. state : 'a;
  2. mutable solver : 'b;
}
val add_margin : float -> float
val solve : (Ztypes.cstate -> (Ztypes.time * 'a, 'b) Ztypes.node) -> float -> (float * 'c, 'd return) Ztypes.node