
<ConsistencyModule:> neg(+Con,Bool)

   Bool is the logical negation of the reified truth constraints Con.

Arguments
   Con                 Constraint
   Bool                Reified truth value of the constraint (array notation accepted)

Type
   library(gfd)

Description

   Equivalent to B #= (Con), Bool #= 1-B
   
   Bool is the logical negation of the reified truth constraint Con.  Con
   must be a constraint that has a corresponding reified form.

   ConsistencyModule is the optional module specification to give the 
   consistency level for the propagation for this constraint: 
   gfd_bc for bounds consistency, and gfd_gac for domain (generalised arc) 
   consistency. 

   This constraint is implemented using Gecode's MiniModel's rel() for
   both integer and boolean expressions, with sub-expressions/constraints
   not supported by MiniModel factored out and posted as auxiliary 
   constraints.



Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   and / 3, neg / 1, xor / 3, or / 3, => / 3, <=> / 3, suspend : neg / 2, ic : neg / 2
