[ 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