org.jscience.mathematics.axiomatic
Class ProofBuffer

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