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.
Warwick Harvey
2002-05-15