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

Denys Duchier
Version 1.2.0 (20010221)