Uses of Interface
org.qedeq.kernel.bo.service.basis.ModuleServicePluginExecutor

Packages that use ModuleServicePluginExecutor

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.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.

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

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

ModuleServicePluginExecutor

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

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

Classes in org.qedeq.kernel.bo.service.dependency that implement ModuleServicePluginExecutor

class	LoadDirectlyRequiredModulesExecutor Load all directly imported QEDEQ modules.
class	LoadRequiredModulesExecutor Load all required QEDEQ modules.

Methods in org.qedeq.kernel.bo.service.dependency that return ModuleServicePluginExecutor

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

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

Classes in org.qedeq.kernel.bo.service.heuristic that implement ModuleServicePluginExecutor

class

DynamicHeuristicCheckerExecutor Check if formulas are valid in our model.

Methods in org.qedeq.kernel.bo.service.heuristic that return ModuleServicePluginExecutor

ModuleServicePluginExecutor

DynamicHeuristicCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)

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

Classes in org.qedeq.kernel.bo.service.latex that implement ModuleServicePluginExecutor

class

Qedeq2LatexExecutor Transfer a QEDEQ module into a LaTeX file.

Methods in org.qedeq.kernel.bo.service.latex that return ModuleServicePluginExecutor

ModuleServicePluginExecutor

Qedeq2LatexPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)

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

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

class	FormalProofCheckerExecutor Checks if all propositions have a correct formal proof.
class	SimpleProofFinderExecutor Finds simple formal proofs.
class	WellFormedCheckerExecutor Checks if all formulas of a QEDEQ module are well formed.

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

ModuleServicePluginExecutor	SimpleProofFinderPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	FormalProofCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	WellFormedCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)

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

Classes in org.qedeq.kernel.bo.service.unicode that implement ModuleServicePluginExecutor

class	Qedeq2UnicodeTextExecutor Transfer a QEDEQ module into a UTF-8 text file.
class	Qedeq2Utf8Executor Transfer a QEDEQ module into a UTF-8 text file.

Methods in org.qedeq.kernel.bo.service.unicode that return ModuleServicePluginExecutor

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