Boolean and Comparison Operators

The following table shows how to create constraints using Boolean and comparison operators.

Constraint Type	Advanced Rule Language
A AND B =C	==(and(A,B),C)
A OR B = C	==(or(A,B),C)
NOT (A = B)	xor(A,B)
(A < B) requires C	req(<(A,B),C)
(A <= B) requires C	req(<=(A,B),C)
(A = B) requires C	req(==(A,B),C)
(A != B) requires C	req(!=(A,B),C)
(A >=B) requires C	req(>=(A,B),C)
(A >B) requires C	req(>(A,B),C)
(A + B) contributes to C	inc(+(A,B),C)
(A - B) contributes to C	inc(-(A,B),C)
(A * B) contributes to C	inc(*(A,B),C)
(A/B) contributes to C	inc(/(A,B),C)
(A MIN B) contributes to C	inc(min(A,B),C)
(A MAX B) contributes to C	inc(max(A,B),C)