Uses of Class
org.qedeq.kernel.se.visitor.AbstractModuleVisitor

Packages that use AbstractModuleVisitor

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.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.bo.service.basis

class	ControlVisitor Basic visitor that gives some error collecting features.
class	ModuleLabelsCreator Create mapping from labels to NodeVo for a QEDEQ module.

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

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.bo.service.dependency

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

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

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.bo.service.heuristic

class

DynamicHeuristicCheckerExecutor Check if formulas are valid in our model.

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

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.bo.service.latex

class	Qedeq2LatexExecutor Transfer a QEDEQ module into a LaTeX file.
class	QedeqBoDuplicateLanguageChecker Checks if no duplicate language entries exist.

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

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.bo.service.logic

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 AbstractModuleVisitor in org.qedeq.kernel.bo.service.unicode

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.bo.service.unicode

class

Qedeq2UnicodeVisitor Transfer a QEDEQ module into unicode text.

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

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.xml.dao

class

Qedeq2Xml This class prints a QEDEQ module in XML format in an output stream.

Uses of AbstractModuleVisitor in org.qedeq.kernel.xml.mapper

Subclasses of AbstractModuleVisitor in org.qedeq.kernel.xml.mapper

class

Context2SimpleXPath Map content string to SimpleXPath string.