void |
Generator.addConsumer(ConsumerChoicePointFrame ccp) |
Add a new client choince point to consume results from this generator.
|
void |
Generator.notifyBlockedOn(ConsumerChoicePointFrame ccp) |
Notify that the interpreter has now blocked on the given choice point.
|
void |
LPInterpreterContext.notifyBlockedOn(ConsumerChoicePointFrame ccp) |
Notify this context that a branch was suspended awaiting further
results for the given choice point.
|
void |
LPTopGoalIterator.notifyBlockedOn(ConsumerChoicePointFrame ccp) |
Notify this context that a branch was suspended awaiting further
results from the given generator.
|
void |
Generator.notifyFinished(ConsumerChoicePointFrame ccp) |
Notify this context that the given choice point has terminated
and can be remove from the wait list.
|
void |
LPInterpreterContext.notifyFinished(ConsumerChoicePointFrame ccp) |
Notify this context that the given choice point has terminated
and can be remove from the wait list.
|
void |
LPTopGoalIterator.notifyFinished(ConsumerChoicePointFrame ccp) |
Notify this context that the given choice point has terminated
and can be remove from the wait list.
|
void |
LPInterpreter.preserveState(ConsumerChoicePointFrame ccp) |
Preserve the current interpter state in the consumer choice point at the top
of the choice point tree.
|
void |
Generator.removeConsumer(ConsumerChoicePointFrame ccp) |
Remove a terminated consuming choice point from the state set.
|
void |
LPInterpreter.restoreState(ConsumerChoicePointFrame ccp) |
Restore the interpter state according to the given consumer choice point.
|
void |
Generator.setReady(ConsumerChoicePointFrame ccp) |
Directly set that this generator is ready (because the generator
for one of its generatingCPs has produced new results).
|
void |
LPInterpreterContext.setReady(ConsumerChoicePointFrame ccp) |
Called by a generating choice point to indicate we can be run
because the indicated choice point is ready.
|
void |
LPTopGoalIterator.setReady(ConsumerChoicePointFrame ccp) |
Directly set that this generator is ready (because the generating
for one of its generatingCPs has produced new results).
|