[ library(fd) | Reference Manual | Alphabetic Index ]

?C1 #=> ?C2

The constraint expression C1 implies the constraint expression C2.
?C1
An arithmetic constraint expression.
?C2
An arithmetic constraint expression.

Description

This constraint states that the constraint expression C1 implies the constraint expression C2. If this is already the case, it simply succeeds. Otherwise it is suspended and after each domain change that may cause C1 to succeed, it is woken and re-evaluated. If C1 is true, C2 is imposed as a constraint.

Fail Conditions

Fails if C1 is true and C2 is false.

Resatisfiable

No.

See Also

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