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

All Known Implementing Classes:

ConclusionVo

public interface Conclusion

Conclusion that is derived from 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 conclusion.

Method Detail

getLabel

java.lang.String getLabel()

Get label for this conclusion. Used for back references.

Returns:

Label.

getFormula

Formula getFormula()

Get formula for this line.

Returns:

Formula.