[
ECLiPSe Rational Constraint
|
Group Index
|
Full Index
]
?T1 $<= ?T2
Holds iff the the rational term T1 is less than or equal to the rational term T2.
?T1
A rational term.
?T2
A rational term.
Description
Determines whether the inequality together with the constraint store forms a feasible system. A modified Simplex algorithm is used to make the test.
Fail Conditions
None.
Resatisfiable
No.
Exceptions
Examples
Success: 15/7 $=< 23/4. Fail: 4/3 $=< 8/3.
See Also