[ 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

and / 2, and / 3, neg / 2, or / 2, or / 3, => / 2, => / 3