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

All Known Implementing Classes:

HypothesisVo

public interface Hypothesis

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

Author:

Michael Meyling

Method Summary

Formula	getFormula() Get formula for this line.
java.lang.String	getLabel() Get label for this hypothesis.

Method Detail

getLabel

java.lang.String getLabel()

Get label for this hypothesis. Used for back references.

Returns:

Label.

getFormula

Formula getFormula()

Get formula for this line.

Returns:

Formula.