[ 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