org.jscience.mathematics.axiomatic
Class ProofTree

java.lang.Object
  org.jscience.mathematics.axiomatic.ProofTree

public class ProofTree
extends java.lang.Object

DOCUMENT ME!

Constructor Summary

ProofTree(java.lang.String proof)
Creates a new ProofTree object.

Method Summary

void	scan(LexTable freqs) DOCUMENT ME!
void	spew(java.lang.StringBuffer buf) DOCUMENT ME!
java.lang.String	toString() DOCUMENT ME!

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ProofTree

public ProofTree(java.lang.String proof)

Creates a new ProofTree object.

Parameters:

proof - DOCUMENT ME!

Method Detail

scan

public void scan(LexTable freqs)

DOCUMENT ME!

Parameters:

freqs - DOCUMENT ME!

spew

public void spew(java.lang.StringBuffer buf)

DOCUMENT ME!

Parameters:

buf - DOCUMENT ME!

toString

public java.lang.String toString()

DOCUMENT ME!

Overrides:

toString in class java.lang.Object

Returns:

DOCUMENT ME!