|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use NodeSelector | |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.completion.queue | |
| Uses of NodeSelector in org.mindswap.pellet |
|---|
| Methods in org.mindswap.pellet with parameters of type NodeSelector | |
|---|---|
void |
IndividualIterator.reset(NodeSelector s)
|
| Uses of NodeSelector in org.mindswap.pellet.tableau.completion.queue |
|---|
| Methods in org.mindswap.pellet.tableau.completion.queue that return NodeSelector | |
|---|---|
static NodeSelector |
NodeSelector.valueOf(java.lang.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. |
| Methods in org.mindswap.pellet.tableau.completion.queue with parameters of type NodeSelector | |
|---|---|
void |
BasicCompletionQueue.add(QueueElement x,
NodeSelector s)
|
abstract void |
CompletionQueue.add(QueueElement x,
NodeSelector s)
Add an element to the queue |
void |
OptimizedBasicCompletionQueue.add(QueueElement x,
NodeSelector s)
|
void |
BasicCompletionQueue.clearQueue(NodeSelector s)
|
abstract void |
CompletionQueue.clearQueue(NodeSelector s)
Clear the queue |
void |
OptimizedBasicCompletionQueue.clearQueue(NodeSelector s)
|
void |
BasicCompletionQueue.reset(NodeSelector s)
Reset the cutoff for a given type index |
abstract void |
CompletionQueue.reset(NodeSelector s)
Reset the current pointer |
void |
OptimizedBasicCompletionQueue.reset(NodeSelector s)
Reset the cutoff for a given type index |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||