org.qedeq.kernel.se.dto.module
Class ProofVo

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

All Implemented Interfaces:

Proof

public class ProofVo
extends java.lang.Object
implements Proof

Contains a non formal proof for a proposition or rule.

Author:

Michael Meyling

Constructor Summary

ProofVo()
Constructs an empty proof.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getKind() Get type of proof.
java.lang.String	getLevel() Get level of proof.
LatexList	getNonFormalProof() Get proof content.
int	hashCode()
void	setKind(java.lang.String kind) Set kind of proof.
void	setLevel(java.lang.String level) Set proof level.
void	setNonFormalProof(LatexList nonFormalProof) Set LaTeX text for non formal proof.
java.lang.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 java.lang.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(java.lang.String kind)

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

Parameters:

kind - Set proof type.

getLevel

public java.lang.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(java.lang.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 - The proof text.

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(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object