Uses of Package
com.evelopers.unimod.analysis

Packages that use com.evelopers.unimod.analysis

com.evelopers.unimod.analysis

Classes in com.evelopers.unimod.analysis used by com.evelopers.unimod.analysis

BooleanSimplifier
This class may be used to simplify formula, to merge set of formulae as conjunction or disjunction, to negate formula.

FormulaSimplifier

Range

Range.Interval

TermSimplifier
TermSimplifier represents a term.