This thesis describes: * a mechanism for structuring and indexing a design space, where * the elements of the space are functional decompositions, and * the generative operators are recursive type constraints. The goal is to produce an index for design space that is based on cataloguing design decisions. |