3.7.35. Boolean channel

A constraint that allows for making the link between a set of 0-1 variables ${B}_{1},{B}_{2},\cdots ,{B}_{n}$ and a domain variable $V$. It forces a condition of the form $V=i⇔{B}_{i}=1$.