org.jscience.mathematics.axiomatic
Class ProofBuffer

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

public class ProofBuffer
extends java.lang.Object

DOCUMENT ME!


Constructor Summary
ProofBuffer(int forProofLength, boolean append)
          Creates a new ProofBuffer object.
 
Method Summary
 void add(byte preStep, byte[] postSteps, WFF result)
          DOCUMENT ME!
 void add(java.lang.String proof, WFF result)
          DOCUMENT ME!
 void flush()
          DOCUMENT ME!
 int getWritten()
          DOCUMENT ME!
 ProofIterator iterator()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofBuffer

public ProofBuffer(int forProofLength,
                   boolean append)
            throws java.io.IOException
Creates a new ProofBuffer object.

Parameters:
forProofLength - DOCUMENT ME!
append - DOCUMENT ME!
Throws:
java.io.IOException - DOCUMENT ME!
Method Detail

add

public void add(java.lang.String proof,
                WFF result)
         throws java.io.IOException
DOCUMENT ME!

Parameters:
proof - DOCUMENT ME!
result - DOCUMENT ME!
Throws:
java.io.IOException - DOCUMENT ME!

add

public void add(byte preStep,
                byte[] postSteps,
                WFF result)
         throws java.io.IOException
DOCUMENT ME!

Parameters:
preStep - DOCUMENT ME!
postSteps - DOCUMENT ME!
result - DOCUMENT ME!
Throws:
java.io.IOException - DOCUMENT ME!

iterator

public ProofIterator iterator()
                       throws java.io.IOException
DOCUMENT ME!

Returns:
DOCUMENT ME!
Throws:
java.io.IOException - DOCUMENT ME!

getWritten

public int getWritten()
DOCUMENT ME!

Returns:
DOCUMENT ME!

flush

public void flush()
           throws java.io.IOException
DOCUMENT ME!

Throws:
java.io.IOException - DOCUMENT ME!