Uses of Interface
org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker

Packages that use ClassOperatorExistenceChecker

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

Uses of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.control

Classes in org.qedeq.kernel.bo.control that implement ClassOperatorExistenceChecker

class

QedeqBoFormalLogicChecker Checks if all formulas of a QEDEQ module are well formed.

Uses of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.logic

Subinterfaces of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.logic

interface

ExistenceChecker Check if operators are already defined.

Classes in org.qedeq.kernel.bo.logic that implement ClassOperatorExistenceChecker

class

EverythingExists This implementation gives always the answer true to the question exists this predicate?