[ library(fd) | Reference Manual | Alphabetic Index ]
?C1 #\/ ?C2
The constraint expression C1 or the constraint expression C2 is true.
- ?C1
- An arithmetic constraint expression.
- ?C2
- An arithmetic constraint expression.
Description
This constraint states that at least one of the two constraint
expressions C1, C2 must be true. If this is already the case, it simply
succeeds. Otherwise it is suspended and after each domain change that
may cause one of the two expressions to fail, it is woken and
re-evaluated. If one of the two expressions is false, the other is
imposed as a constraint, i.e. it acts as disjunctive constraint.
Fail Conditions
Fails if both C1 and C2 are false.
Resatisfiable
No.
See Also
#/\ / 2, #=> / 2, #<=> / 2, #\+ / 1