Package | Description |
---|---|
org.apache.jena.reasoner.rulesys.impl |
Internal implementation objects used by the rule system interpreters
and compilers.
|
Modifier and Type | Method and Description |
---|---|
void |
Generator.addConsumer(ConsumerChoicePointFrame ccp)
Add a new client choince point to consume results from this generator.
|
void |
LPInterpreterContext.notifyBlockedOn(ConsumerChoicePointFrame ccp)
Notify this context that a branch was suspended awaiting further
results for the given choice point.
|
void |
Generator.notifyBlockedOn(ConsumerChoicePointFrame ccp)
Notify that the interpreter has now blocked on 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 |
LPInterpreterContext.notifyFinished(ConsumerChoicePointFrame ccp)
Notify this context that the given choice point has terminated
and can be remove from the wait list.
|
void |
Generator.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 |
LPInterpreterContext.setReady(ConsumerChoicePointFrame ccp)
Called by a generating choice point to indicate we can be run
because the indicated choice point is ready.
|
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 |
LPTopGoalIterator.setReady(ConsumerChoicePointFrame ccp)
Directly set that this generator is ready (because the generating
for one of its generatingCPs has produced new results).
|
Licenced under the Apache License, Version 2.0