public class LPTopGoalIterator extends Object implements ClosableIterator<Triple>, LPInterpreterContext
| Constructor and Description |
|---|
LPTopGoalIterator(LPInterpreter engine)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Close the iterator.
|
boolean |
hasNext() |
boolean |
isReady()
Return true if the iterator is ready to be scheduled (i.e.
|
Triple |
next() |
void |
notifyBlockedOn(ConsumerChoicePointFrame ccp)
Notify this context that a branch was suspended awaiting further
results from the given generator.
|
void |
notifyFinished(ConsumerChoicePointFrame ccp)
Notify this context that the given choice point has terminated
and can be remove from the wait list.
|
void |
remove() |
void |
setReady(ConsumerChoicePointFrame ccp)
Directly set that this generator is ready (because the generating
for one of its generatingCPs has produced new results).
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEachRemainingpublic LPTopGoalIterator(LPInterpreter engine)
public void notifyBlockedOn(ConsumerChoicePointFrame ccp)
notifyBlockedOn in interface LPInterpreterContextpublic void notifyFinished(ConsumerChoicePointFrame ccp)
notifyFinished in interface LPInterpreterContextpublic void setReady(ConsumerChoicePointFrame ccp)
setReady in interface LPInterpreterContextpublic boolean isReady()
isReady in interface LPInterpreterContextpublic void close()
ClosableIteratorclose in interface ClosableIterator<Triple>ClosableIterator.close()public boolean hasNext()
hasNext in interface Iterator<Triple>Iterator.hasNext()public Triple next()
next in interface Iterator<Triple>Iterator.next()public void remove()
remove in interface Iterator<Triple>Iterator.remove()Licenced under the Apache License, Version 2.0