3.7.33. Boolean channel

A constraint that allows for making the link between a set of 0 -1 variables B 1 ,B 2 ,...,B n and a domain variable V. It enforces a condition of the form V=iB i =1.