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

Packages that use Hypothesis

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 Hypothesis in org.qedeq.kernel.bo.service.latex

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

void	Qedeq2LatexExecutor.visitEnter(Hypothesis hypothesis)
void	Qedeq2LatexExecutor.visitLeave(Hypothesis hypothesis)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Hypothesis hypothesis)
void	Qedeq2UnicodeVisitor.visitLeave(Hypothesis hypothesis)

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

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

Hypothesis

ConditionalProof.getHypothesis() Get hypothesis.

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

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

class

HypothesisVo Hypothesis that can be used as an assumption within a proof.

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

Hypothesis

ConditionalProofVo.getHypothesis()

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

void	ConditionalProofVo.setHypothesis(Hypothesis hypothesis) Set hypothesis.

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

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

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

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

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

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

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

void	Qedeq2Xml.visitEnter(Hypothesis hypothesis)
void	Qedeq2Xml.visitLeave(Hypothesis hypothesis)

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

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

Hypothesis

HypothesisHandler.getHypothesis() Get hypothesis.

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

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

void	Context2SimpleXPath.visitEnter(Hypothesis hypothesis)
void	Context2SimpleXPath.visitLeave(Hypothesis hypothesis)