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

Packages that use Conclusion

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.handler.module	Handler to parse qedeq XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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

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

void	Qedeq2LatexExecutor.visitEnter(Conclusion conclusion)
void	Qedeq2LatexExecutor.visitLeave(Conclusion conclusion)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Conclusion conclusion)
void	Qedeq2UnicodeVisitor.visitLeave(Conclusion conclusion)

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

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

Conclusion

ConditionalProof.getConclusion() Get conclusion.

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

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

class

ConclusionVo Conclusion that is derived from an an assumption within a proof.

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

Conclusion

ConditionalProofVo.getConclusion()

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

void	ConditionalProofVo.setConclusion(Conclusion conclusion) Set conclusion.

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

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

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

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

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

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

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

void	Qedeq2Xml.visitEnter(Conclusion conclusion)
void	Qedeq2Xml.visitLeave(Conclusion conclusion)

Uses of Conclusion in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return Conclusion

Conclusion

ConclusionHandler.getConclusion() Get conclusion.

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

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

void	Context2SimpleXPath.visitEnter(Conclusion conclusion)
void	Context2SimpleXPath.visitLeave(Conclusion conclusion)