3.7.87. 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.