Uses of Package
org.qedeq.kernel.se.visitor

Packages that use org.qedeq.kernel.se.visitor

org.qedeq.kernel.bo	Provides access to the kernel.
org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
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.internal	Central module service plugin functionality.
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.

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo

InterruptException
An interruption was set during a visit.

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.common

InterruptException
An interruption was set during a visit.

QedeqNumbers
Contains various counter values for a Qedeq.

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.logic.proof.common

InterruptException
An interruption was set during a visit.

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.logic.proof.finder

InterruptException
An interruption was set during a visit.

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.module

ContextChecker
Check of current context is ok.

InterruptException
An interruption was set during a visit.

QedeqNumbers
Contains various counter values for a Qedeq.

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.service.basis

AbstractModuleVisitor
Basic visitor that makes nothing.

InterruptException
An interruption was set during a visit.

ListVisitor
Visit elements of the list package.

QedeqNumbers
Contains various counter values for a Qedeq.

QedeqTraverser
Traverse a QEDEQ module and visit all elements.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.service.dependency

AbstractModuleVisitor
Basic visitor that makes nothing.

InterruptException
An interruption was set during a visit.

ListVisitor
Visit elements of the list package.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.service.heuristic

AbstractModuleVisitor
Basic visitor that makes nothing.

ListVisitor
Visit elements of the list package.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.service.internal

ContextChecker
Check of current context is ok.

InterruptException
An interruption was set during a visit.

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.service.latex

AbstractModuleVisitor
Basic visitor that makes nothing.

ListVisitor
Visit elements of the list package.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.service.logic

AbstractModuleVisitor
Basic visitor that makes nothing.

InterruptException
An interruption was set during a visit.

ListVisitor
Visit elements of the list package.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.bo.service.unicode

AbstractModuleVisitor
Basic visitor that makes nothing.

ListVisitor
Visit elements of the list package.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.se.visitor

ContextChecker
Check of current context is ok.

ListVisitor
Visit elements of the list package.

QedeqNumbers
Contains various counter values for a Qedeq.

QedeqTraverser
Traverse a QEDEQ module and visit all elements.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.xml.dao

AbstractModuleVisitor
Basic visitor that makes nothing.

ListVisitor
Visit elements of the list package.

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

Classes in org.qedeq.kernel.se.visitor used by org.qedeq.kernel.xml.mapper

AbstractModuleVisitor
Basic visitor that makes nothing.

ListVisitor
Visit elements of the list package.

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