[ library(COLIBRI_DOC) | ]

neg(X)

The negation of X is true.
X
A "boolean" integer term (range 0..1).

Description

This constraints exists also in a reified form, neg(X) #= Bool, where Bool is an int variable ranging in 0..1.

Fail Conditions

Fails if X = 1

Resatisfiable

no

Examples

Success:
    int_vars(int,[X,Y]), neg(X or Y).
    (gives X = 0, Y = 0)

Fail:
    int_vars(int,X), neg(X) #= X.
    int_vars(int,[X,Y,B]), neg(X and Y) #\= neg(X) or neg(Y).

See Also

neg / 1, and / 2, or / 2, xor / 2, => / 2, ite / 3