Uses of Class
org.qedeq.kernel.bo.service.basis.ControlVisitor

Packages that use ControlVisitor

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.

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

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

class

ModuleLabelsCreator Create mapping from labels to NodeVo for a QEDEQ module.

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

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

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

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

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

class

DynamicHeuristicCheckerExecutor Check if formulas are valid in our model.

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

Subclasses of ControlVisitor 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 ControlVisitor in org.qedeq.kernel.bo.service.logic

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

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

class

Qedeq2UnicodeVisitor Transfer a QEDEQ module into unicode text.

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

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

class

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