Uses of Package
org.qedeq.kernel.bo.logic

Packages that use org.qedeq.kernel.bo.logic

org.qedeq.kernel.bo.control	Contains business object controllers.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.

Classes in org.qedeq.kernel.bo.logic used by org.qedeq.kernel.bo.control

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.

FunctionExistenceChecker
Check if a function is already defined.

PredicateExistenceChecker
Check if a predicate is already defined.

Classes in org.qedeq.kernel.bo.logic used by org.qedeq.kernel.bo.logic

CheckException
This is an exception for logical errors within a QEDEQ module.

ClassOperatorExistenceChecker
Check if the class operator is already defined.

EqualFormula
Encapsulates a logical formula.

EqualFormulaSet
This class represents a set of Elements.

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.