jtp.fol.parser
Interface ClauseIterator

public interface ClauseIterator

This is an iterator of clauses, for example, returned by a FirstOrderLogicParser. The methods of this interface are analogous to corresponding methods in Iterator.

Method Summary

boolean	hasNext() checks if there are more clauses available from this iterator.
Clause	next() Returns the next clause in the iterator.

Method Detail

hasNext

public boolean hasNext()
                throws ParsingException

checks if there are more clauses available from this iterator.

Returns:

true if there are more clauses available from this iterator.

ParsingException

next

public Clause next()
            throws ParsingException

Returns the next clause in the iterator.

Returns:

the next clause

ParsingException