[ library(fd) | Reference Manual | Alphabetic Index ]
?C1 #<=> ?C2
The constraint expression C1 is equivalent to the constraint expression C2.
- ?C1
- An arithmetic constraint expression.
- ?C2
- An arithmetic constraint expression.
Description
This constraint states that the constraint expressions C1 and C2
evaluate to the same truth value, either both true of both false. If
this is already the case, it simply succeeds. Otherwise it is suspended
and after each domain change that may cause one of the constraint
expressions to succeed to fail, it is woken and and re-evaluated.
Subsequently, if one of the constraint expressions is true or false, the
same truth value is imposed on the other one.
Fail Conditions
Fails if C1 and C2 are not bothe true or both false.
Resatisfiable
No.
See Also
#\/ / 2, #/\ / 2, #=> / 2, #\+ / 1