All Classes
-
All Classes Interface Summary Class Summary Enum Summary Class Description ApplicabilityExtractor<T> CutEvent<T> CutEvent.Type CutHandler<T> Handler of cut events.Cutter Cutter is used to cut objects that have an applicability.DefinitionAnalyzer<T> Extender An Extender is used to extend the applicability of objects.ExtendEvent<T> ExtendEvent.Type ExtendHandler<T> FactorizationFeatures FactorizationFeatures.Builder FactorizationFeatures.Hint Handler Base interface of handlers.MergeEvent<T> MergeEvent.Type MergeHandler<T> 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 ReduceEvent<T> ReduceEvent.Type ReduceHandler<T> Reducer SplitEvent<T> SplitEvent.Type SplitHandler<T> 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.