org.jpc.engine.embedded.database

Class IndexedClauseIterator

java.lang.Object

com.google.common.collect.UnmodifiableIterator<T>

com.google.common.collect.AbstractIterator<Clause>

org.jpc.engine.embedded.database.IndexedClauseIterator

All Implemented Interfaces:

Iterator<Clause>

public class IndexedClauseIterator
extends com.google.common.collect.AbstractIterator<Clause>

Constructor Summary

Constructors

Constructor and Description
IndexedClauseIterator(Index index, Term head)

Method Summary

Modifier and Type	Method and Description
protected Clause	computeNext()

Methods inherited from class com.google.common.collect.AbstractIterator

endOfData, hasNext, next, peek

Methods inherited from class com.google.common.collect.UnmodifiableIterator

remove

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

IndexedClauseIterator

public IndexedClauseIterator(Index index,
                             Term head)

Method Detail

computeNext

protected Clause computeNext()

Specified by:

computeNext in class com.google.common.collect.AbstractIterator<Clause>