Uses of Interface
org.qedeq.kernel.se.base.module.SubstPred

Packages that use SubstPred

org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
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 SubstPred in org.qedeq.kernel.bo.logic.proof.finder

Classes in org.qedeq.kernel.bo.logic.proof.finder that implement SubstPred

class

SubstPredBo Usage of rule for substitute predicate variable.

Methods in org.qedeq.kernel.bo.logic.proof.finder that return SubstPred

SubstPred

SubstPredBo.getSubstPred()

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

Methods in org.qedeq.kernel.bo.service.latex with parameters of type SubstPred

void	Qedeq2LatexExecutor.visitEnter(SubstPred r)

Uses of SubstPred in org.qedeq.kernel.bo.service.unicode

Methods in org.qedeq.kernel.bo.service.unicode with parameters of type SubstPred

void	Qedeq2UnicodeVisitor.visitEnter(SubstPred r)

Uses of SubstPred in org.qedeq.kernel.se.base.module

Methods in org.qedeq.kernel.se.base.module that return SubstPred

SubstPred

SubstPred.getSubstPred() Get this reason.

Uses of SubstPred in org.qedeq.kernel.se.dto.module

Classes in org.qedeq.kernel.se.dto.module that implement SubstPred

class

SubstPredVo Usage of rule for substitute predicate variable.

Methods in org.qedeq.kernel.se.dto.module that return SubstPred

SubstPred

SubstPredVo.getSubstPred()

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

Methods in org.qedeq.kernel.se.visitor with parameters of type SubstPred

void	QedeqNotNullTraverser.accept(SubstPred reason)
void	QedeqTraverser.accept(SubstPred reason) Traverse formal proof line reason.
void	QedeqVisitor.visitEnter(SubstPred reason) Visit certain element.
void	AbstractModuleVisitor.visitEnter(SubstPred reason)
void	QedeqVisitor.visitLeave(SubstPred reason) Visit certain element.
void	AbstractModuleVisitor.visitLeave(SubstPred reason)

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

Methods in org.qedeq.kernel.xml.dao with parameters of type SubstPred

void	Qedeq2Xml.visitEnter(SubstPred reason)
void	Qedeq2Xml.visitLeave(SubstPred reason)

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

Methods in org.qedeq.kernel.xml.mapper with parameters of type SubstPred

void	Context2SimpleXPath.visitEnter(SubstPred reason)
void	Context2SimpleXPath.visitLeave(SubstPred reason)