[
ECLiPSe Rational Constraint
|
Group Index
|
Full Index
]
?T1 $< ?T2
Holds iff the the rational term T1 is strictly less than the rational term T2.
?T1
A rational term.
?T2
A rational term.
Description
The rational constraint solver tests the conjunction of the strict inequality with the constraint store for feasibility.
Fail Conditions
None.
Resatisfiable
No.
Exceptions
Examples
Success: 5/17 $< 32/4. Fail: 3/5 $< 2/5.
See Also