org.qedeq.kernel.base.module
Interface Proof

All Known Implementing Classes:

ProofVo

public interface Proof

Contains a proof for a proposition. LATER mime 20050220: add formal proof

Version:

$Revision: 1.5 $

Method Summary

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

Method Detail

getKind

public String getKind()

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

Returns:

Type of proof.

getLevel

public String getLevel()

Get level of proof. Higher levels contain additional informations.

Returns:

Returns the level.

getNonFormalProof

public LatexList getNonFormalProof()

Get proof content.

Returns:

LaTeX proof text.