
bool_channeling(?Var, +DomainBools, +Min)

   Channel the domain values of Vars to the 0/1 boolean variables in DomainBools

Arguments
   Var                 An integer domain variable
   DomainBools         A collection of N 0/1 domain variables or integers
   Min                 An integer

Type
   library(ic_global)

Description

    Var is an integer domain variable whose initial interval is Min..(Min+N),
    and this constraint links the domain values of Var with the N 0/1
    variables in DomainBools such that the i'th variable in DomainBools
    represents the value Min+i, and its value is 0 if the value is not in
    Var's domain, and 1 if Var is assigned the value [Thus, only one variable
    in DomainBools can take the value 1].

    A variant of this constraint, called 'domain_constraint' is in the global 
    constraint catalog. There, instead of having DomainBools and Min, there
    is a collection of Value-Bool pairs, representing a possible domain value
    and its associated 0/1 variable. The implementation here is described in
    the graph model for the domain_constraint in the catalog, and is 
    generalised arc-consistent.


