[ 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