org.jscience.mathematics.axiomatic
Class Proof

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

public class Proof
extends java.lang.Object

DOCUMENT ME!


Constructor Summary
Proof(WFF result, byte[] steps)
          Creates a new Proof object.
 
Method Summary
 WFF getResult()
          DOCUMENT ME!
 byte[] getSteps()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Proof

public Proof(WFF result,
             byte[] steps)
Creates a new Proof object.

Parameters:
result - DOCUMENT ME!
steps - DOCUMENT ME!
Method Detail

getResult

public WFF getResult()
DOCUMENT ME!

Returns:
DOCUMENT ME!

getSteps

public byte[] getSteps()
DOCUMENT ME!

Returns:
DOCUMENT ME!