Uses of Interface
org.qedeq.kernel.se.common.ServiceCompleteness

Packages that use ServiceCompleteness

org.qedeq.kernel.bo.job	Everything for the module service plugins
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.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.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.

Uses of ServiceCompleteness in org.qedeq.kernel.bo.job

Methods in org.qedeq.kernel.bo.job with parameters of type ServiceCompleteness

void	InternalModuleServiceCallImpl.setServiceCompleteness(ServiceCompleteness completeness)

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

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

void	InternalModuleServiceCall.setServiceCompleteness(ServiceCompleteness completeness) Set someone who answers completeness questions.

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

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

interface

ModuleServicePluginExecutor Represents a plugin execution.

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

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

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

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

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

class

DynamicHeuristicCheckerExecutor Check if formulas are valid in our model.

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

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

class

Qedeq2LatexExecutor Transfer a QEDEQ module into a LaTeX file.

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

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

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.

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

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

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

Uses of ServiceCompleteness in org.qedeq.kernel.se.visitor

Classes in org.qedeq.kernel.se.visitor that implement ServiceCompleteness

class

QedeqNotNullTraverser Traverse QEDEQ module.