
#\+ ?C

   The constraint expression C is false.



Arguments
   ?C                  An arithmetic constraint expression.

Type
   library(fd)

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
