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, wait
forEachRemaining
public LPTopGoalIterator(LPInterpreter engine)
public void notifyBlockedOn(ConsumerChoicePointFrame ccp)
notifyBlockedOn
in interface LPInterpreterContext
public void notifyFinished(ConsumerChoicePointFrame ccp)
notifyFinished
in interface LPInterpreterContext
public void setReady(ConsumerChoicePointFrame ccp)
setReady
in interface LPInterpreterContext
public boolean isReady()
isReady
in interface LPInterpreterContext
public void close()
ClosableIterator
close
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