-
class
Simplifies a predicate by:
- Combining child-AND/OR nodes with direct parents of the same type
- Pushing negations down to leaf nodes by using De Morgan's law.
class
Simplifies a predicate by collapsing TRUE/FALSE-children into their parents.
class
Partitions all the feature ranges according to the arity and bounds
set in the PredicateOptions, and updates the ranges with a set of
partitions and edge partitions.
class
Reorders not nodes to improve the efficiency of the z-star posting list compression.
class
Simplifies Disjunction nodes where all children are of type FeatureSet.