Package cdc.applic.factorization
package cdc.applic.factorization
-
ClassDescriptionCutter is used to cut objects that have an applicability.An Extender is used to extend the applicability of objects.Given a set of input expressions Ei, a Partioner will return a set of output expressions Eo, such that: Eo are not empty.Given a set of objects that have disjoint applicabilities and a target applicability, this is used to produce a new set where exactly one object has a target applicability and all other have an applicability that does not intersect with target applicability.