[ library(eplex) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
normalise_cstrs(+Constraints, -NormConstraints, -NonlinConstraints)
Normalise the linear constraints in Constraints.
- List of arithmetic relations
- Linear constraints from Constraints (normalised)
- Non-linear constraints from Constraints
Constraints is a list of terms of the form X $= Y, X $>= Y or X $=< Y (or
their non-$ equivalents) where X and Y are arithmetic expressions. The linear
constraints are returned in normalised form in NormConstraints, the
nonlinear ones are returned unchanged in NonlinConstr.
$= / 2, $=< / 2, $>= / 2, =:= / 2, =< / 2, >= / 2