[ 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