org.jscience.mathematics.axiomatic
Class ProofIterator

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

public class ProofIterator
extends java.lang.Object

DOCUMENT ME!


Constructor Summary
ProofIterator(java.io.DataInputStream in)
          Creates a new ProofIterator object.
 
Method Summary
 boolean hasNext()
          DOCUMENT ME!
 Proof next()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofIterator

public ProofIterator(java.io.DataInputStream in)
Creates a new ProofIterator object.

Parameters:
in - DOCUMENT ME!
Method Detail

hasNext

public boolean hasNext()
                throws java.io.IOException
DOCUMENT ME!

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

next

public Proof next()
           throws java.io.IOException
DOCUMENT ME!

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