Uses of Interface
org.qedeq.kernel.bo.logic.common.IdentityOperatorExistenceChecker

Packages that use IdentityOperatorExistenceChecker

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.wf	Checking for being well-formed formulas.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.logic	Contains logical services.

Uses of IdentityOperatorExistenceChecker in org.qedeq.kernel.bo.logic.common

Subinterfaces of IdentityOperatorExistenceChecker in org.qedeq.kernel.bo.logic.common

interface

ExistenceChecker Check if operators are already defined and well formed.

Uses of IdentityOperatorExistenceChecker in org.qedeq.kernel.bo.logic.wf

Classes in org.qedeq.kernel.bo.logic.wf that implement IdentityOperatorExistenceChecker

class

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

Uses of IdentityOperatorExistenceChecker in org.qedeq.kernel.bo.module

Subinterfaces of IdentityOperatorExistenceChecker in org.qedeq.kernel.bo.module

interface

ModuleConstantsExistenceChecker Contains methods for existence checking of various operands.

Uses of IdentityOperatorExistenceChecker in org.qedeq.kernel.bo.service.logic

Classes in org.qedeq.kernel.bo.service.logic that implement IdentityOperatorExistenceChecker

class	DefaultExistenceChecker Checks if all predicate and function constants exist already.
class	ModuleConstantsExistenceCheckerImpl Checks if a predicate or function constant is defined.