[ library(ic) | Reference Manual | Alphabetic Index ]
neg(?BoolExpr, ?Bool)
Bool is the logical negation of BoolExpr.
- BoolExpr
- 0/1-valued expression, such as reified constraint
- Bool
- Truth value of the negation
Description
Equivalent to B #= BoolExpr, Bool #= 1-B.
If BoolExpr is a constraint that has a corresponding reified form,
Bool is the logical negation of its truth value.
See Also
neg / 1, and / 3, or / 3, => / 3, <=> / 3