Previous  Up  Next

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.

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.