Uses of Interface
org.qedeq.kernel.bo.module.ModuleConstantsExistenceChecker

Packages that use ModuleConstantsExistenceChecker

org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.logic	Contains logical services.

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

Methods in org.qedeq.kernel.bo.module that return ModuleConstantsExistenceChecker

ModuleConstantsExistenceChecker

KernelQedeqBo.getExistenceChecker() Get the predicate and function existence checker.

Methods in org.qedeq.kernel.bo.module with parameters of type ModuleConstantsExistenceChecker

void	KernelQedeqBo.setExistenceChecker(ModuleConstantsExistenceChecker existence) Set ModuleConstantsExistenceChecker.
void	KernelQedeqBo.setWellFormed(ModuleConstantsExistenceChecker checker) Set logic well formed state.

Uses of ModuleConstantsExistenceChecker in org.qedeq.kernel.bo.service.internal

Methods in org.qedeq.kernel.bo.service.internal that return ModuleConstantsExistenceChecker

ModuleConstantsExistenceChecker

DefaultKernelQedeqBo.getExistenceChecker() Get the predicate and function existence checker.

Methods in org.qedeq.kernel.bo.service.internal with parameters of type ModuleConstantsExistenceChecker

void	DefaultKernelQedeqBo.setExistenceChecker(ModuleConstantsExistenceChecker checker)
void	DefaultKernelQedeqBo.setWellFormed(ModuleConstantsExistenceChecker checker)
void	StateManager.setWellFormed(ModuleConstantsExistenceChecker checker) Set logic checked state.

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

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

class

ModuleConstantsExistenceCheckerImpl Checks if a predicate or function constant is defined.