[ library(fd) | Reference Manual | Alphabetic Index ]
?C1 #/\ ?C2
The constraint expression C1 and the constraint expression C2 is true.
- ?C1
- An arithmetic constraint expression.
- ?C2
- An arithmetic constraint expression.
Description
This constraint states that both constraint expressions C1 and C2 must
be true. It is identical to normal conjunstion (C1, C2).
Fail Conditions
Fails if one of C1 or C2 is false.
Resatisfiable
No.
See Also
#\/ / 2, #=> / 2, #<=> / 2, #\+ / 1