
neg(?BoolExpr, ?Bool)

   Bool is the logical negation of BoolExpr.

Arguments
   BoolExpr            0/1-valued expression, such as reified constraint
   Bool                Truth value of the negation

Type
   library(ic)

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
   and / 2, and / 3, neg / 1, or / 2, or / 3, => / 2, => / 3
