|
Interfaces
ClassOperatorExistenceChecker EqualityOperatorExistenceChecker ExistenceChecker FormulaBasicErrors FunctionExistenceChecker Operators PredicateExistenceChecker |
|
Classes
EqualFormula EqualFormulaSet EverythingExists FormulaChecker LogicalEquivalence |
|
Exceptions
ElementCheckException FormulaCheckException LogicalCheckException TermCheckException |