|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ClassOperatorExistenceChecker | |
---|---|
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 ClassOperatorExistenceChecker in org.qedeq.kernel.bo.logic.common |
---|
Subinterfaces of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.logic.common | |
---|---|
interface |
ExistenceChecker
Check if operators are already defined and well formed. |
Uses of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.logic.wf |
---|
Classes in org.qedeq.kernel.bo.logic.wf that implement ClassOperatorExistenceChecker | |
---|---|
class |
EverythingExists
This implementation gives always the answer true to the question
exists this predicate?. |
Uses of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.module |
---|
Subinterfaces of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.module | |
---|---|
interface |
ModuleConstantsExistenceChecker
Contains methods for existence checking of various operands. |
Uses of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.service.logic |
---|
Classes in org.qedeq.kernel.bo.service.logic that implement ClassOperatorExistenceChecker | |
---|---|
class |
DefaultExistenceChecker
Checks if all predicate and function constants exist already. |
class |
ModuleConstantsExistenceCheckerImpl
Checks if a predicate or function constant is defined. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |