next up previous index
Next: Logical Constraint Predicates Up: The Finite Domains Library Previous: Constraint Predicates   Index

Arithmetic Constraint Predicates

?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