Features and Attributes

Every DomainProduct object is equipped with feature range giving the range $[1.\,.N]$ , feature empty for the empty set, and feature full for the set of all the integers in the range:

<DomainProduct features>= >>: feat range empty full

and also with attributes divisors and domains which are as described for function DecodeInts. Attribute value2set is a dictionary mapping each value $v^\ell_i$ , from some domain $D_\ell$ , to the set of integers encoding the tuples in which this value occurs.

<DomainProduct attributes>=: attr divisors domains value2set