| Package | Description |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.completion.queue | |
| org.mindswap.pellet.tableau.completion.rule |
| Modifier and Type | Method and Description |
|---|---|
void |
IndividualIterator.reset(NodeSelector s) |
| Modifier and Type | Method and Description |
|---|---|
static NodeSelector |
NodeSelector.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static NodeSelector[] |
NodeSelector.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
void |
OptimizedBasicCompletionQueue.add(QueueElement x,
NodeSelector s) |
abstract void |
CompletionQueue.add(QueueElement x,
NodeSelector s)
Add an element to the queue
|
void |
BasicCompletionQueue.add(QueueElement x,
NodeSelector s) |
void |
OptimizedBasicCompletionQueue.clearQueue(NodeSelector s) |
abstract void |
CompletionQueue.clearQueue(NodeSelector s)
Clear the queue
|
void |
BasicCompletionQueue.clearQueue(NodeSelector s) |
protected void |
OptimizedBasicCompletionQueue.flushQueue(NodeSelector s) |
protected abstract void |
CompletionQueue.flushQueue(NodeSelector s)
Flush the queue
|
protected void |
BasicCompletionQueue.flushQueue(NodeSelector s) |
void |
OptimizedBasicCompletionQueue.reset(NodeSelector s)
Reset the cutoff for a given type index
|
abstract void |
CompletionQueue.reset(NodeSelector s)
Reset the current pointer
|
void |
BasicCompletionQueue.reset(NodeSelector s)
Reset the cutoff for a given type index
|
| Modifier and Type | Field and Description |
|---|---|
protected NodeSelector |
AbstractTableauRule.nodeSelector |
| Constructor and Description |
|---|
AbstractTableauRule(CompletionStrategy strategy,
NodeSelector nodeSelector,
AbstractTableauRule.BlockingType blockingType) |
Copyright © 2019. All rights reserved.