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