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

Packages that use RuleExistenceChecker

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 RuleExistenceChecker in org.qedeq.kernel.bo.logic.common

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

interface

ExistenceChecker Check if operators are already defined and well formed.

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

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

class

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

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

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

interface

ModuleConstantsExistenceChecker Contains methods for existence checking of various operands.

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

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

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