Class EntireDomainSubset<S extends EntireDomainSubset<S,​D>,​D extends ValueDomain>