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