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

Packages that use InternalModuleServicePlugin

org.qedeq.kernel.bo.service.dependency	Plugin for loading all required modules.
org.qedeq.kernel.bo.service.logic	Contains logical services.

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

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

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

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

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

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