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

Packages that use ConditionalProof

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.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 ConditionalProof in org.qedeq.kernel.bo.service.heuristic

Methods in org.qedeq.kernel.bo.service.heuristic with parameters of type ConditionalProof

void	DynamicHeuristicCheckerExecutor.visitEnter(ConditionalProof line)
void	DynamicHeuristicCheckerExecutor.visitLeave(ConditionalProof line)

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

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

void	Qedeq2LatexExecutor.visitEnter(ConditionalProof r)
void	Qedeq2LatexExecutor.visitLeave(ConditionalProof proof)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(ConditionalProof r)
void	Qedeq2UnicodeVisitor.visitLeave(ConditionalProof proof)

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

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

ConditionalProof

ConditionalProof.getConditionalProof() Get this reason.

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

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

class

ConditionalProofVo Usage of conditional proof method.

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

ConditionalProof

ConditionalProofVo.getConditionalProof()

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

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

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

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

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

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

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

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

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