org.qedeq.kernel.dto.module
Class ProofVo

java.lang.Object
  org.qedeq.kernel.dto.module.ProofVo

All Implemented Interfaces:

Proof

public class ProofVo

extends Object

implements Proof

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

Version:

$Revision: 1.7 $

Constructor Summary

ProofVo()
Constructs an empty proof.

Method Summary

boolean	equals(Object obj)
String	getKind() Get type of proof.
String	getLevel() Get level of proof.
LatexList	getNonFormalProof() Get proof content.
int	hashCode()
void	setKind(String kind) Set kind of proof.
void	setLevel(String level) Set proof level.
void	setNonFormalProof(LatexList nonFormalProof) Set LaTeX text for non formal proof.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ProofVo

public ProofVo()

Constructs an empty proof.

Method Detail

getKind

public String getKind()

Description copied from interface: Proof

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

Specified by:

getKind in interface Proof

Returns:

Type of proof.

setKind

public final void setKind(String kind)

Set kind of proof. E.g. "informal".

Parameters:

kind - Set proof type.

getLevel

public String getLevel()

Description copied from interface: Proof

Get level of proof. Higher levels contain additional informations.

Specified by:

getLevel in interface Proof

Returns:

Returns the level.

setLevel

public final void setLevel(String level)

Set proof level. Higher proof levels contain more detailed proofs.

Parameters:

level - Proof level.

setNonFormalProof

public final void setNonFormalProof(LatexList nonFormalProof)

Set LaTeX text for non formal proof.

Parameters:

nonFormalProof -

getNonFormalProof

public final LatexList getNonFormalProof()

Description copied from interface: Proof

Get proof content.

Specified by:

getNonFormalProof in interface Proof

Returns:

LaTeX proof text.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()