Uses of Interface
org.qedeq.kernel.se.visitor.ListVisitor

Packages that use ListVisitor

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

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

Classes in org.qedeq.kernel.bo.service.basis that implement ListVisitor

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

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

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

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

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

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

class

DynamicHeuristicCheckerExecutor Check if formulas are valid in our model.

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

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

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

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

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

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

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

class

Qedeq2UnicodeVisitor Transfer a QEDEQ module into unicode text.

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

Subinterfaces of ListVisitor in org.qedeq.kernel.se.visitor

interface

QedeqVisitor Here are all elements to visit assembled that can be visited within a QEDEQ module.

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

class

AbstractModuleVisitor Basic visitor that makes nothing.

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

Classes in org.qedeq.kernel.xml.dao that implement ListVisitor

class

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

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

Classes in org.qedeq.kernel.xml.mapper that implement ListVisitor

class

Context2SimpleXPath Map content string to SimpleXPath string.