org.jscience.mathematics.axiomatic
Class ProofStack

java.lang.Object
  extended by org.jscience.mathematics.axiomatic.ProofStack

public final class ProofStack
extends java.lang.Object

DOCUMENT ME!


Field Summary
static int DEPTH
          DOCUMENT ME!
 
Constructor Summary
ProofStack(int capacity)
          Creates a new ProofStack object.
 
Method Summary
 void clear()
          DOCUMENT ME!
 WFF deduce()
          DOCUMENT ME!
 boolean isEmpty()
          DOCUMENT ME!
 WFF pop()
          DOCUMENT ME!
 void push(java.lang.String wff)
          DOCUMENT ME!
 void push(WFF wff)
          DOCUMENT ME!
 void reset()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

DEPTH

public static int DEPTH
DOCUMENT ME!

Constructor Detail

ProofStack

public ProofStack(int capacity)
Creates a new ProofStack object.

Parameters:
capacity - DOCUMENT ME!
Method Detail

push

public void push(java.lang.String wff)
DOCUMENT ME!

Parameters:
wff - DOCUMENT ME!

push

public void push(WFF wff)
DOCUMENT ME!

Parameters:
wff - DOCUMENT ME!

pop

public WFF pop()
DOCUMENT ME!

Returns:
DOCUMENT ME!

reset

public void reset()
DOCUMENT ME!


isEmpty

public boolean isEmpty()
DOCUMENT ME!

Returns:
DOCUMENT ME!

clear

public void clear()
DOCUMENT ME!


deduce

public WFF deduce()
DOCUMENT ME!

Returns:
DOCUMENT ME!