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

Packages that use FormalProofLine

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

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

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

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

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

void	Qedeq2LatexExecutor.visitEnter(FormalProofLine line)
void	Qedeq2LatexExecutor.visitLeave(FormalProofLine line)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(FormalProofLine line)
void	Qedeq2UnicodeVisitor.visitLeave(FormalProofLine line)

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

Subinterfaces of FormalProofLine in org.qedeq.kernel.se.base.module

interface

ConditionalProof Usage of conditional proof method.

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

FormalProofLine

FormalProofLineList.get(int index) Get index-th element of list.

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

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

class	ConditionalProofVo Usage of conditional proof method.
class	FormalProofLineVo Contains a formal proof for a proposition.

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

FormalProofLine

FormalProofLineListVo.get(int index)

Methods in org.qedeq.kernel.se.dto.module with parameters of type FormalProofLine

void	FormalProofLineListVo.add(FormalProofLine proofLine) Add proof line to this list.

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

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

void	QedeqNotNullTraverser.accept(FormalProofLine proofLine)
void	QedeqTraverser.accept(FormalProofLine proofLine) Traverse formal proof line.
void	QedeqVisitor.visitEnter(FormalProofLine proofLine) Visit formal proof line (but not an conditional proof line).
void	AbstractModuleVisitor.visitEnter(FormalProofLine proofLine)
void	QedeqVisitor.visitLeave(FormalProofLine proofLine) Visit certain element.
void	AbstractModuleVisitor.visitLeave(FormalProofLine proofLine)

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

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

void	Qedeq2Xml.visitEnter(FormalProofLine line)
void	Qedeq2Xml.visitLeave(FormalProofLine line)

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

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

void	Context2SimpleXPath.visitEnter(FormalProofLine line)
void	Context2SimpleXPath.visitLeave(FormalProofLine line)