Module dev.civl.sarl

Package dev.civl.sarl.simplify.IF

package dev.civl.sarl.simplify.IF

Interfaces for the simplification of symbolic expressions. Entry point: Simplify.

Class	Description
ContextPartition	Provides a partition of the set of conjunctive clauses of a BooleanExpression (the context) and a method to use that partition for context minimization.
Range	An abstract representation of a set of Numbers.
Range.RangeSign	A categorization of ranges based on their relationship to 0.
RangeFactory	Factory for producing instances of Range.
Simplify	Entry point for module "simplify", providing static method to create basic range factories and context partitions