Interfaces for the simplification of symbolic expressions. Entry point: Simplify.
  • Class
    Provides 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.