org.jscience.mathematics.axiomatic
Class ProofTree

java.lang.Object
  extended by 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!