[ 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