| Package | Description |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.completion.queue | |
| org.mindswap.pellet.tableau.completion.rule |
| Modifier and Type | Method and Description |
|---|---|
IndividualIterator |
ABox.getIndIterator()
Return individuals to which we need to apply the tableau rules
|
| Modifier and Type | Class and Description |
|---|---|
class |
BasicCompletionQueue
A basic queue for individuals that need to have completion rules applied
|
class |
CompletionQueue
Title: Completion Queue
|
class |
OptimizedBasicCompletionQueue
An optimized basic queue for individuals that need to have completion rules applied
|
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractTableauRule.apply(IndividualIterator i) |
void |
TableauRule.apply(IndividualIterator i) |
Copyright © 2019. All rights reserved.