org.qedeq.kernel.se.dto.module
Class HypothesisVo

java.lang.Object
  org.qedeq.kernel.se.dto.module.HypothesisVo

All Implemented Interfaces:

Hypothesis

public class HypothesisVo
extends java.lang.Object
implements Hypothesis

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

Author:

Michael Meyling

Constructor Summary

HypothesisVo()
Default constructor.

HypothesisVo(Formula formula)
Constructs an proof line.

HypothesisVo(java.lang.String label, Formula formula)
Constructs an proof line.

Method Summary

boolean	equals(java.lang.Object obj)
Formula	getFormula() Get formula for this line.
java.lang.String	getLabel() Get label for this hypothesis.
int	hashCode()
void	setFormula(Formula formula) Set proof line formula.
void	setLabel(java.lang.String label) Set label for proof line.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

HypothesisVo

public HypothesisVo(Formula formula)

Constructs an proof line.

Parameters:

formula - New derived formula.

HypothesisVo

public HypothesisVo(java.lang.String label,
                    Formula formula)

Constructs an proof line.

Parameters:

label - Label for back references. Might be null.

formula - New derived formula.

HypothesisVo

public HypothesisVo()

Default constructor.

Method Detail

getFormula

public Formula getFormula()

Description copied from interface: Hypothesis

Get formula for this line.

Specified by:

getFormula in interface Hypothesis

Returns:

Formula.

setFormula

public void setFormula(Formula formula)

Set proof line formula.

Parameters:

formula - Set formula.

getLabel

public java.lang.String getLabel()

Description copied from interface: Hypothesis

Get label for this hypothesis. Used for back references.

Specified by:

getLabel in interface Hypothesis

Returns:

Label.

setLabel

public void setLabel(java.lang.String label)

Set label for proof line.

Parameters:

label - Set this label.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object