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

All Known Implementing Classes:

ProofVo

public interface Proof

Contains a non formal proof for a proposition or rule.

Author:

Michael Meyling

Method Summary

java.lang.String	getKind() Get type of proof.
java.lang.String	getLevel() Get level of proof.
LatexList	getNonFormalProof() Get proof content.

Method Detail

getKind

java.lang.String getKind()

Get type of proof. E.g. "informal".

Returns:

Type of proof.

getLevel

java.lang.String getLevel()

Get level of proof. Higher levels contain additional informations.

Returns:

Returns the level.

getNonFormalProof

LatexList getNonFormalProof()

Get proof content.

Returns:

LaTeX proof text.