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

All Known Subinterfaces:

ConditionalProof

All Known Implementing Classes:

ConditionalProofVo, FormalProofLineVo

public interface FormalProofLine

Contains a line of a formal proof for a proposition.

Author:

Michael Meyling

Method Summary

Formula	getFormula() Get formula for this line.
java.lang.String	getLabel() Get label for this proof line.
Reason	getReason() Get reason for deriving this line.

Method Detail

getLabel

java.lang.String getLabel()

Get label for this proof line. Used for back references.

Returns:

Label.

getFormula

Formula getFormula()

Get formula for this line.

Returns:

Formula.

getReason

Reason getReason()

Get reason for deriving this line.

Returns:

Reason.