[ library(ic) | Reference Manual | Alphabetic Index ]
neg ?BoolExpr
BoolExpr is 0 (disentailed).
- BoolExpr
- 0/1-valued expression, such as reified constraint
Description
Equivalent to 0 $= BoolExpr.
If BoolExpr is a constraint that has a corresponding reified form,
the negation of the constraint is enforced.
See Also
neg / 2, and / 2, or / 2, => / 2, <=> / 2