Package com.evelopers.unimod.analysis

Class Summary

ASTFormulaSimplifier
ASTTermSimplifier
BooleanSimplifier	This class may be used to simplify formula, to merge set of formulae as conjunction or disjunction, to negate formula.
DistributiveBrackets	Takes AST representing conjunction of literals and disjunctions of terms.
FormulaSimplifier
Range
Range.Interval
TermSimplifier	TermSimplifier represents a term.