FormulaHolder<T extends Logic> |
A FormulaHolder holds a string that is supposed to be a formula of
some logic.
|
FormulaParser<T extends Logic> |
A FormulaParser object can parse a string into a formula of some
logic.
|
FormulaRewriterRepository |
FormulaRewriterRepository contains several registered formula
rewriter.
|
Literal |
A literal can be a proposition or the negation of a proposition.
|
Logic |
|
LogicSimplifier |
This class provides methods for simplify a logic formula based on formulae
rewriters.
|
LogicUnifier<T> |
This class provides some methods for the unification between two logic
formulae.
|
Proposition |
This is a class for propositions.
|
Satisfiability |
This class provides methods for checking the satisfiability of an algebraic
expression or a logic formula.
|
Satisfiability.Result |
This class defines the result of a satisfiability test.
|
Validity |
This class provides methods for checking the validity of an algebraic
expression or a logic formula.
|
Validity.Result |
This class defines the result of a validity test.
|