[ library(fd) | Reference Manual | Alphabetic Index ]
#\+ ?C
The constraint expression C is false.
- ?C
- An arithmetic constraint expression.
Description
   This constraint states that the constraint expressions C is false.  If
   this is already the case, it simply succeeds.  Otherwise it is suspended
   and after each domain change that may cause C to succeed, it is woken
   and re-evaluated.  If C is true, the constraint fails.
Fail Conditions
   Fails if both C is true.
Resatisfiable
   No.
See Also
#/\ / 2, #=> / 2, #<=> / 2, #\/ / 2