[ ECLiPSe Finite Domain built-in.|Group Index| Full Index]

#\+ ?C

The constraint expression C is false.

?C
An arithmetic constraint expression.

Description

This constraint states that the constraint expressions C is false. If this is already the case, it simply succeeds. Otherwise it is suspended and after each domain change that may cause C to succeed, it is woken and re-evaluated. If C is true, the constraint fails.

Fail Conditions

Fails if both C is true.

Resatisfiable

No.

Exceptions

Examples


See Also

#/\ / 2, #=> / 2, #<=> / 2, #\/ / 2