[ ECLiPSe Rational Constraint|Group Index| Full Index]

?T1 $<> ?T2

Holds iff the the rational term T1 is different from the rational term T2.

?T1
A rational term.
?T2
A rational term.

Description

The rational constraint solver checks if the rational term T1 is different from the rational term T2.

Fail Conditions

Fails if the rational term (T1 - T2) becomes ground, taking a value of zero.

Resatisfiable

No.

Exceptions

Examples


Success:
    15/7 $<> 23/4.

Fail:
    4 $<> 8/2.

See Also