3.7.84. Domain channel

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