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

Packages that use KernelQedeqBo

org.qedeq.kernel.bo.logic.model	Here are simple model implementations.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.dependency	Plugin for loading all required modules.
org.qedeq.kernel.bo.service.heuristic	Plugin for model checking of formulas.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.

Uses of KernelQedeqBo in org.qedeq.kernel.bo.logic.model

Methods in org.qedeq.kernel.bo.logic.model with parameters of type KernelQedeqBo

protected void

DynamicDirectInterpreter.setModuleContext(KernelQedeqBo qedeq)

Constructors in org.qedeq.kernel.bo.logic.model with parameters of type KernelQedeqBo

DynamicDirectInterpreter(KernelQedeqBo qedeq, DynamicModel model)
Constructor.

DynamicDirectInterpreter(KernelQedeqBo qedeq, DynamicModel model, SubjectVariableInterpreter subjectVariableInterpreter, PredicateVariableInterpreter predicateVariableInterpreter, FunctionVariableInterpreter functionVariableInterpreter)
Constructor.

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

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

KernelQedeqBo	ModuleConstantsExistenceChecker.getClassOperatorModule() Get QEDEQ module where the class operator is defined within.
KernelQedeqBo	Reference.getExternalQedeq() Get external QEDEQ module the reference points to.
KernelQedeqBo	DefaultReference.getExternalQedeq()
KernelQedeqBo	ModuleConstantsExistenceChecker.getIdentityOperatorModule() Get QEDEQ module where the identity operator is defined within.
KernelQedeqBo	KernelModuleReferenceList.getKernelQedeqBo(int index) Get QedeqBo of referenced module.
KernelQedeqBo	InternalKernelServices.getKernelQedeqBo(ModuleAddress address) Get KernelQedeqBo for an address.
KernelQedeqBo	KernelModuleReferenceList.getKernelQedeqBo(java.lang.String label) Get KernelQedeqBo of referenced module via label.
KernelQedeqBo	ModuleConstantsExistenceChecker.getQedeq(FunctionKey function) Get QEDEQ module where given function constant is defined.
KernelQedeqBo	ModuleConstantsExistenceChecker.getQedeq(PredicateKey predicate) Get QEDEQ module where given predicate constant is defined.
KernelQedeqBo	ModuleConstantsExistenceChecker.getQedeq(RuleKey ruleKey) Get QEDEQ module where given rule is defined.
KernelQedeqBo	KernelNodeBo.getQedeqBo() Get parent module the node is within.
KernelQedeqBo	InternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress address) Load QEDEQ module.
KernelQedeqBo	InternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress parent, Specification spec) Load specified QEDEQ module from QEDEQ parent module.

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

void	ModuleLabels.addNode(ModuleContext context, NodeVo node, KernelQedeqBo qedeq, QedeqNumbers data) Add node with certain id.
boolean	InternalKernelServices.checkFormallyProved(InternalServiceJob process, KernelQedeqBo qedeq) Check if all propositions of this and all required modules have correct formal proofs.
boolean	InternalKernelServices.checkWellFormedness(InternalServiceJob process, KernelQedeqBo qedeq) Check if all formulas of a QEDEQ module and its required modules are well formed.
boolean	KernelModuleReferenceList.contains(KernelQedeqBo bo) Is the given QEDEQ BO already in this list?
java.lang.Object	InternalKernelServices.executePlugin(InternalServiceJob parent, java.lang.String id, KernelQedeqBo qedeq, java.lang.Object data) Execute plugin on given QEDEQ module.
java.io.Reader	QedeqFileDao.getModuleReader(KernelQedeqBo prop) Get reader for local buffered QEDEQ module.
boolean	InternalKernelServices.loadRequiredModules(InternalServiceJob process, KernelQedeqBo qedeq) Get required modules of given module.
void	KernelModuleReferenceList.remove(KernelQedeqBo bo) Delete a given QEDEQ BO already from list.
void	QedeqFileDao.saveQedeq(InternalServiceJob process, KernelQedeqBo prop, java.io.File localFile) Save a QEDEQ module as file.
void	ModuleConstantsExistenceChecker.setClassOperatorModule(KernelQedeqBo classOperatorModule, ModuleContext context) Set if the class operator is already defined.
void	ModuleConstantsExistenceChecker.setIdentityOperatorDefined(java.lang.String identityOperator, KernelQedeqBo identityOperatorModule, ModuleContext context) Set the identity operator.

Constructors in org.qedeq.kernel.bo.module with parameters of type KernelQedeqBo

DefaultReference(KernelNodeBo nodeCurrent, KernelQedeqBo qedeqGoal, java.lang.String qedeqGoalLabel, KernelNodeBo nodeGoal, java.lang.String nodeGoalLabel, java.lang.String subLabel, java.lang.String proofLineLabel)
Constructor.

KernelNodeBo(NodeVo node, ModuleContext context, KernelQedeqBo qedeq, QedeqNumbers data)
Constructor.

Uses of KernelQedeqBo in org.qedeq.kernel.bo.service.basis

Methods in org.qedeq.kernel.bo.service.basis that return KernelQedeqBo

KernelQedeqBo

ControlVisitor.getKernelQedeqBo() Get QedeqBo.

Methods in org.qedeq.kernel.bo.service.basis with parameters of type KernelQedeqBo

ModuleServicePluginExecutor

ModuleServicePlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters) Create execution instance for this plugin.

Constructors in org.qedeq.kernel.bo.service.basis with parameters of type KernelQedeqBo

ControlVisitor(KernelQedeqBo prop)
Constructor.

ControlVisitor(Service service, KernelQedeqBo prop)
Constructor.

ModuleLabelsCreator(Service service, KernelQedeqBo prop)
Constructor.

Uses of KernelQedeqBo in org.qedeq.kernel.bo.service.dependency

Methods in org.qedeq.kernel.bo.service.dependency with parameters of type KernelQedeqBo

ModuleServicePluginExecutor	LoadRequiredModulesPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	LoadDirectlyRequiredModulesPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)

Constructors in org.qedeq.kernel.bo.service.dependency with parameters of type KernelQedeqBo

LoadDirectlyRequiredModulesExecutor(ModuleService plugin, KernelQedeqBo prop, Parameters parameter)
Constructor.

Uses of KernelQedeqBo in org.qedeq.kernel.bo.service.heuristic

Methods in org.qedeq.kernel.bo.service.heuristic with parameters of type KernelQedeqBo

ModuleServicePluginExecutor

DynamicHeuristicCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)

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

Classes in org.qedeq.kernel.bo.service.internal that implement KernelQedeqBo

class

DefaultKernelQedeqBo Represents a module and its states.

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

KernelQedeqBo	DefaultInternalKernelServices.getKernelQedeqBo(ModuleAddress address)
KernelQedeqBo	DefaultInternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress address)
KernelQedeqBo	DefaultInternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress parent, Specification spec) Load specified QEDEQ module from QEDEQ parent module.

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

boolean	DefaultInternalKernelServices.checkFormallyProved(InternalServiceJob process, KernelQedeqBo qedeq)
boolean	DefaultInternalKernelServices.checkWellFormedness(InternalServiceJob process, KernelQedeqBo qedeq)
void	PluginManager.clearAllPluginResults(KernelQedeqBo qedeq) Clear all plugin errors and warnings on an QEDEQ module.
java.lang.Object	DefaultInternalKernelServices.executePlugin(InternalServiceJob process, java.lang.String id, KernelQedeqBo qedeq, java.lang.Object data)
java.lang.Object	ServiceProcessManager.executePlugin(java.lang.String id, KernelQedeqBo qedeq, java.lang.Object data, InternalServiceJob process) Execute a plugin on an QEDEQ module.
boolean	DefaultInternalKernelServices.loadRequiredModules(InternalServiceJob process, KernelQedeqBo qedeq)

Uses of KernelQedeqBo in org.qedeq.kernel.bo.service.latex

Methods in org.qedeq.kernel.bo.service.latex with parameters of type KernelQedeqBo

ModuleServicePluginExecutor

Qedeq2LatexPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)

Constructors in org.qedeq.kernel.bo.service.latex with parameters of type KernelQedeqBo

Qedeq2LatexExecutor(ModuleService plugin, KernelQedeqBo prop, Parameters parameters)
Constructor.

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

Methods in org.qedeq.kernel.bo.service.logic that return KernelQedeqBo

KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getClassOperatorModule()
KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getIdentityOperatorModule()
KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getQedeq(FunctionKey function) Get QEDEQ module where given function constant is defined.
KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getQedeq(PredicateKey predicate) Get QEDEQ module where given predicate constant is defined.
KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getQedeq(RuleKey ruleKey) Get QEDEQ module where given rule is defined.

Methods in org.qedeq.kernel.bo.service.logic with parameters of type KernelQedeqBo

ModuleServicePluginExecutor	SimpleProofFinderPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	FormalProofCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	WellFormedCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
void	ModuleConstantsExistenceCheckerImpl.setClassOperatorModule(KernelQedeqBo classOperatorModule, ModuleContext context) Set if the class operator is already defined.
void	ModuleConstantsExistenceCheckerImpl.setIdentityOperatorDefined(java.lang.String identityOperator, KernelQedeqBo identityOperatorModule, ModuleContext context) Set the identity operator.

Constructors in org.qedeq.kernel.bo.service.logic with parameters of type KernelQedeqBo

ModuleConstantsExistenceCheckerImpl(KernelQedeqBo prop)
Constructor.

Uses of KernelQedeqBo in org.qedeq.kernel.bo.service.unicode

Methods in org.qedeq.kernel.bo.service.unicode with parameters of type KernelQedeqBo

ModuleServicePluginExecutor	Qedeq2Utf8Plugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	Qedeq2UnicodeTextPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)

Constructors in org.qedeq.kernel.bo.service.unicode with parameters of type KernelQedeqBo

Qedeq2UnicodeVisitor(ModuleService plugin, KernelQedeqBo prop, boolean info, int maximumColumn, boolean addWarnings, boolean brief)
Constructor.

Qedeq2Utf8Executor(ModuleService plugin, KernelQedeqBo prop, Parameters parameters)
Constructor.

Uses of KernelQedeqBo in org.qedeq.kernel.xml.dao

Methods in org.qedeq.kernel.xml.dao with parameters of type KernelQedeqBo

java.io.Reader	XmlQedeqFileDao.getModuleReader(KernelQedeqBo bo)
static void	Qedeq2Xml.print(InternalServiceJob process, ModuleService plugin, KernelQedeqBo bo, TextOutput printer) Prints a XML representation of given QEDEQ module into a given output stream.
void	XmlQedeqFileDao.saveQedeq(InternalServiceJob process, KernelQedeqBo prop, java.io.File localFile)

Constructors in org.qedeq.kernel.xml.dao with parameters of type KernelQedeqBo

Qedeq2Xml(ModuleService plugin, KernelQedeqBo bo, TextOutput printer)
Constructor.