[ library(fd) | The ECLiPSe Libraries | 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