org.jscience.mathematics.axiomatic
Class ProofStack

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