3.7.35. 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 forces a condition of the form V=iB i =1.