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

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

All Implemented Interfaces:

Conclusion

public class ConclusionVo
extends java.lang.Object
implements Conclusion

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

Author:

Michael Meyling

Constructor Summary

ConclusionVo()
Default constructor.

ConclusionVo(Formula formula)
Constructs an proof line.

ConclusionVo(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 conclusion.
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

ConclusionVo

public ConclusionVo(Formula formula)

Constructs an proof line.

Parameters:

formula - New derived formula.

ConclusionVo

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

Constructs an proof line.

Parameters:

label - Label for back references. Might be null.

formula - New derived formula.

ConclusionVo

public ConclusionVo()

Default constructor.

Method Detail

getFormula

public Formula getFormula()

Description copied from interface: Conclusion

Get formula for this line.

Specified by:

getFormula in interface Conclusion

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: Conclusion

Get label for this conclusion. Used for back references.

Specified by:

getLabel in interface Conclusion

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