[
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