Module Sundials.Constraint

module Constraint: sig .. end
Symbolic names for variable constraints. These names describe the constants passed to Ida.set_constraints and Kinsol.set_constraints.
See sundials: IDASetConstraints
See sundials: KINSetConstraints

val unconstrained : float
The constant 0.0.
val geq_zero : float
The constant 1.0.
val leq_zero : float
The constant -1.0.
val gt_zero : float
The constant 2.0.
val lt_zero : float
The constant -2.0.
type t = 
| Unconstrained (*
true
*)
| GeqZero (*
>= 0
*)
| LeqZero (*
<= 0
*)
| GtZero (*
> 0
*)
| LtZero (*
< 0
*)
For pattern-matching on constraints. See Sundials.Constraint.of_float.
val to_float : t -> float
Map constraint values to floating-point constants.
val of_float : float -> t
Map floating-point constants to constraint values.
Raises Invalid_argument The given value is not a legal constraint.