We describe how the propagator for the
constraint can be generalized to prune variables whose domains are not just simple finite domains. We show, for example, how it can be used to propagate set variables, multiset variables and variables which represent tuples of values. We also describe how the propagator for the global cardinality constraint (which is a generalization of the
constraint) can be generalized in a similar way. Experiments show that such propagators can be beneficial in practice, especially when the domains are large.