org.qedeq.kernel.dto.module
Class ProofVo

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

All Implemented Interfaces:

Proof

public final class ProofVo

extends Object

implements Proof

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

Version:

$Revision: 1.4 $

Constructor Summary

ProofVo()
Constructs an empty proof.

Method Summary

boolean	equals(Object obj)
LatexList	getNonFormalProof() Get proof content.
int	hashCode()
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

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()