[ library(COLIBRI_DOC) | ]
ite(Cond,Then,Else)
if Cond then Then else Else.
- Cond
- A "boolean" integer term (range 0..1).
- Then
- A "boolean" integer term (range 0..1).
- Else
- A "boolean" integer term (range 0..1).
Description
Equivalent to the expression (Cond => Then) and (neg(Cond) => Else). This constraints exists also in a reified form, it(Cond,Then,Else) #= Bool, where Bool is an int variable ranging in 0..1.
See Also
neg / 2, and / 2, or / 2, xor / 2, => / 2