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
2004-08-07