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

Packages that use FormalProofLineList

org.qedeq.kernel.bo.logic.proof.checker	This package enables to check proofs with the basic rules.
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.service.latex	LaTeX 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 FormalProofLineList in org.qedeq.kernel.bo.logic.proof.checker

Methods in org.qedeq.kernel.bo.logic.proof.checker with parameters of type FormalProofLineList

LogicalCheckExceptionList	ProofChecker1Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker0Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker2Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)

Uses of FormalProofLineList in org.qedeq.kernel.bo.logic.proof.common

Methods in org.qedeq.kernel.bo.logic.proof.common that return FormalProofLineList

FormalProofLineList

ProofException.getProofLines() Get proof lines we found.

Methods in org.qedeq.kernel.bo.logic.proof.common with parameters of type FormalProofLineList

LogicalCheckExceptionList	ProofChecker.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext context, ReferenceResolver resolver) Checks if a formal proof is ok.
void	ProofFinder.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 transform) Finds a formal proof.
void	ProofFoundListener.proofFound(Element formula, FormalProofLineList proof) Informs about a found proof for a formula.

Constructors in org.qedeq.kernel.bo.logic.proof.common with parameters of type FormalProofLineList

ProofException(int errorCode, java.lang.String message, FormalProofLineList lines, ModuleContext context)
Constructor.

ProofFoundException(int errorCode, java.lang.String message, FormalProofLineList lines, ModuleContext context)
Constructor.

Uses of FormalProofLineList in org.qedeq.kernel.bo.logic.proof.finder

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

static FormalProofLineList

ProofFinderUtility.shortenProof(java.util.List lines, java.util.List reasons, ModuleLogListener log, Element2Utf8 trans) Shorten given formal proof.

Methods in org.qedeq.kernel.bo.logic.proof.finder with parameters of type FormalProofLineList

void	ProofFinderImpl.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 trans)

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

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

void	Qedeq2LatexExecutor.visitEnter(FormalProofLineList lines)
void	Qedeq2LatexExecutor.visitLeave(FormalProofLineList lines)

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

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

FormalProofLineList	FormalProof.getFormalProofLineList() Get proof content.
FormalProofLineList	ConditionalProof.getFormalProofLineList() Get proof that can use the hypothesis.

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

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

class

FormalProofLineListVo List of formal proofs.

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

FormalProofLineList	FormalProofVo.getFormalProofLineList()
FormalProofLineList	ConditionalProofVo.getFormalProofLineList()

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

void	FormalProofVo.setFormalProofLineList(FormalProofLineList formalProofLines) Set proof lines for formal proof.
void	ConditionalProofVo.setFormalProofLineList(FormalProofLineList list) Set formal proof lines.

Constructors in org.qedeq.kernel.se.dto.module with parameters of type FormalProofLineList

ConditionalProofVo(Hypothesis hypothesis, FormalProofLineList proofLines, Conclusion conclusion)
Constructs an reason.

FormalProofVo(FormalProofLineList formalProofLines)
Constructs a proof.

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

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

void	QedeqNotNullTraverser.accept(FormalProofLineList proofLineList)
void	QedeqTraverser.accept(FormalProofLineList proofLineList) Traverse formal proof list.
void	QedeqVisitor.visitEnter(FormalProofLineList proofLineList) Visit certain element.
void	AbstractModuleVisitor.visitEnter(FormalProofLineList proofLineList)
void	QedeqVisitor.visitLeave(FormalProofLineList proofLineList) Visit certain element.
void	AbstractModuleVisitor.visitLeave(FormalProofLineList proofLineList)

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

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

void	Qedeq2Xml.visitEnter(FormalProofLineList proof)
void	Qedeq2Xml.visitLeave(FormalProofLineList proof)

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

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

void	Context2SimpleXPath.visitEnter(FormalProofLineList list)
void	Context2SimpleXPath.visitLeave(FormalProofLineList list)