org.jscience.mathematics.axiomatic
Class Proof

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