org.qedeq.kernel.bo.module
Class ProofBo

java.lang.Object
  org.qedeq.kernel.bo.module.ProofBo

All Implemented Interfaces:

Proof

public final class ProofBo

extends Object

implements Proof

Contains a proof for a proposition. TODO mime 20050220: add formal proof (with different classes?)

Version:

$Revision: 1.2 $

Constructor Summary

ProofBo()
Constructs an empty proof.

Method Summary

boolean	equals(Object obj)
LatexList	getNonFormalProof() Get proof content.
int	hashCode()
void	setNonFormalProof(LatexList nonFormalProof) Set LaTexText of non formal proof.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofBo

public ProofBo()

Constructs an empty proof.

Method Detail

setNonFormalProof

public final void setNonFormalProof(LatexList nonFormalProof)

Set LaTexText of non formal proof.

Parameters:

nonFormalProof - Non formal 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(Object obj)

hashCode

public int hashCode()

toString

public String toString()