org.jscience.mathematics.axiomatic
Class ProofIterator

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