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

All Known Implementing Classes:

FormalProofVo

public interface FormalProof

Contains a formal proof for a proposition.

Author:

Michael Meyling

Method Summary

FormalProofLineList	getFormalProofLineList() Get proof content.
LatexList	getPrecedingText() Get text before the formula.
LatexList	getSucceedingText() Get text after the formula.

Method Detail

getPrecedingText

LatexList getPrecedingText()

Get text before the formula. Get the preceding LaTeX text. This text comes before a formal proof.

Returns:

Returns the preceding LaTeX text.

getFormalProofLineList

FormalProofLineList getFormalProofLineList()

Get proof content.

Returns:

LaTeX proof text.

getSucceedingText

LatexList getSucceedingText()

Get text after the formula. Get the succeeding LaTeX text. This text comes after a formal proof.

Returns:

Returns the succeedingText.