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

Packages that use ModuleServicePlugin

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.

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

Subinterfaces of ModuleServicePlugin in org.qedeq.kernel.bo.service.basis

interface

InternalModuleServicePlugin Just a marker interface for an internal plugin.

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

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

class	LoadDirectlyRequiredModulesPlugin Load all imported modules.
class	LoadRequiredModulesPlugin Load all imported modules recursively.

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

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

class

DynamicHeuristicCheckerPlugin Plugin to check if QEDEQ module formulas are valid within a model.

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

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

ModuleServicePlugin

PluginManager.getPlugin(java.lang.String id) Get plugin with given id.

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

void	PluginResultManager.setResult(ModuleServicePlugin plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Set a plugin execution results.

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

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

class

Qedeq2LatexPlugin Plugin to transfer a QEDEQ module into a LaTeX file.

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

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

class	FormalProofCheckerPlugin Checks if all propositions have a correct formal proof.
class	SimpleProofFinderPlugin Finds primitive formal proofs.
class	WellFormedCheckerPlugin Checks if all formulas of a QEDEQ module are well formed.

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

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

class	Qedeq2UnicodeTextPlugin Plugin to transfer a QEDEQ module into a UTF-8 text file.
class	Qedeq2Utf8Plugin Plugin to transfer a QEDEQ module into a UTF-8 text file.