Next: Logical Constraint Predicates
Up: The Finite Domains Library
Previous: Constraint Predicates
  Index
- ?T1 #
\
= ?T2
-
The value of the rational term T1 is not equal to the value of the
rational term T2.
- ?T1 #
<
?T2
-
The value of the rational term T1 is less than the value of the
rational term T2.
- ?T1 #
<=
?T2
-
The value of the rational term T1 is less than or equal to the value of the
rational term T2.
- ?T1 #= ?T2
-
The value of the rational term T1 is equal to the
value of the rational term T2.
- ?T1 #
>
?T2
-
The value of the rational term T1 is greater than the
value of the rational term T2.
- ?T1 #
>=
?T2
-
The value of the rational term T1 is greater than or equal to the
value of the rational term T2.
1999-08-06