Package org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

See:
Description

Interface Summary

ClassOperatorExistenceChecker	Check if the class operator is already defined.
EqualityOperatorExistenceChecker	Check if the predicate for equality is already defined.
ExistenceChecker	Check if operators are already defined.
FormulaBasicErrors	Error codes and messages for formula checker.
FunctionExistenceChecker	Check if a function is already defined.
Operators	Logical and term operators.
PredicateExistenceChecker	Check if a predicate is already defined.

Class Summary

EqualFormula	Encapsulates a logical formula.
EqualFormulaSet	This class represents a set of Elements.
EverythingExists	This implementation gives always the answer true to the question exists this predicate?
FormulaChecker	This class deals with Elements which represent a formula.
LogicalEquivalence	This class deals with Elements and could check if two formulas are logically equivalent.

Exception Summary

ElementCheckException	This is an exception for logical errors within a QEDEQ module.
FormulaCheckException	This is an exception for logical errors within a QEDEQ module.
LogicalCheckException	This is the basis for an exception for logical errors within a QEDEQ module.
TermCheckException	This is an exception for logical errors within a QEDEQ module.

Package org.qedeq.kernel.bo.logic Description

Contains the logical abilities of the kernel. If two formulas are logically equivalent could be checked here.