Float constraints

Float constraints are constraints involving float decision variables.

When modeled in OPL, they are restricted to be linear or piecewise linear. OPL has efficient algorithms for solving linear, piecewise linear, quadratic, or logical constraints, but in general these algorithms do not apply to nonlinear problems. Note that the linearity requirement precludes the use of relations with variables in constraints and the use of non-ground expressions as indices of float arrays. In addition, operators !=, <, and > are not allowed for float constraints. However, integers and integer variables may occur in a float constraint, provided that the constraint remains linear or quadratic. OPL supports all the expressions supported by CPLEX, provided that the constraint is of one of the types described at the beginning of this paragraph.