AllDifferent

The class of collections of pairwise different individuals.

AllDifferent

The class of collections of pairwise different individuals.