Inconsistencies between configuration rules represent a significant
concern when modeling a product using configuration rules. The
consistency checking system approaches a configuration model from the
perspective of a sets of features and families. The configuration space
of a model represents the entire set of all combinations of selections
within a configuration model. The consistency checking system operates on
subsets of the configuration space by consolidating data within the
configuration space into minimized subsets that represent a portion of
the configuration space where a particular consistency error can occur.
Thus, the contents of each subset vary depending upon which consistency
error is being checked, and consistency checking is performed on reduced
subsets determined on an error by error basis rather than on the
configuration space as a whole.