Interfaces for the simplification of symbolic expressions. Entry point:
ClassDescriptionProvides a partition of the set of conjunctive clauses of a
BooleanExpression(the context) and a method to use that partition for context minimization.An abstract representation of a set of
Numbers.A categorization of ranges based on their relationship to 0.Factory for producing instances of
Range.A simplifier is an object for simplifying symbolic expressions.A factory for producing instances of
Simplifier.Entry point for module "simplify", providing static method to create basic simplifiers, simplifier factories, and range factories.