Package cdc.applic.factorization
-
Interface Summary Interface Description ApplicabilityExtractor<T> Cutter Cutter is used to cut objects that have an applicability.DefinitionAnalyzer<T> Extender An Extender is used to extend the applicability of objects.Merger Partitioner Given a set of input expressions Ei, a Partioner will return a set of output expressions Eo, such that: Eo are not empty.Partitioner.Result Reducer Splitter 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. -
Class Summary Class Description FactorizationFeatures FactorizationFeatures.Builder -
Enum Summary Enum Description FactorizationFeatures.Hint