[ library(eplex) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
normalise_cstrs(+Constraints, -NormConstraints, -NonlinConstraints)
Normalise the linear constraints in Constraints.
- Constraints
- List of arithmetic relations
- NormConstraints
- Linear constraints from Constraints (normalised)
- NonlinConstraints
- Non-linear constraints from Constraints
Description
Constraints is a list of terms of the form X =:= Y, X >= Y or X =< Y (no
dollar-signs!) 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.