|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.IndividualIterator
org.mindswap.pellet.tableau.completion.queue.CompletionQueue
org.mindswap.pellet.tableau.completion.queue.OptimizedBasicCompletionQueue
public class OptimizedBasicCompletionQueue
An optimized basic queue for individuals that need to have completion rules applied
| Field Summary | |
|---|---|
static java.util.logging.Logger |
log
|
| Constructor Summary | |
|---|---|
OptimizedBasicCompletionQueue(ABox abox)
Constructor - create queue |
|
| Method Summary | |
|---|---|
void |
add(QueueElement x)
Add an element to all queues |
void |
add(QueueElement x,
NodeSelector s)
Add an element to the queue |
void |
clearQueue(NodeSelector s)
Clear the queue |
OptimizedBasicCompletionQueue |
copy()
Copy the queue |
void |
flushQueue()
Flush the queue |
boolean |
hasNext()
Test if there is another element on the queue to process |
void |
incrementBranch(int branch)
Set branch pointers to current pointer. |
Individual |
next()
Get the next element of a queue of a given type |
Node |
nextLiteral()
Get the next element of a queue of a given type |
void |
print()
Print method for entire queue |
void |
print(int type)
Print method for a given queue type |
void |
remove()
Remove method for abstract class |
void |
reset(NodeSelector s)
Reset the cutoff for a given type index |
void |
restore(int branch)
Reset the queue to be the current nodes in the abox; Also reset the type index to 0 |
void |
setABox(ABox ab)
Set the abox for the queue |
| Methods inherited from class org.mindswap.pellet.tableau.completion.queue.CompletionQueue |
|---|
printBranchInfo, setAllowLiterals, setClosed |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.util.logging.Logger log
| Constructor Detail |
|---|
public OptimizedBasicCompletionQueue(ABox abox)
abox - | Method Detail |
|---|
public boolean hasNext()
hasNext in interface java.util.Iterator<Individual>hasNext in class IndividualIteratortype -
public void restore(int branch)
restore in class CompletionQueuebranch - public Individual next()
next in interface java.util.Iterator<Individual>next in class IndividualIteratortype -
public Node nextLiteral()
nextLiteral in class CompletionQueuetype -
public void add(QueueElement x,
NodeSelector s)
CompletionQueue
add in class CompletionQueuepublic void add(QueueElement x)
CompletionQueue
add in class CompletionQueuepublic void reset(NodeSelector s)
reset in class CompletionQueuetype - public void incrementBranch(int branch)
incrementBranch in class CompletionQueuebranch - public OptimizedBasicCompletionQueue copy()
copy in class CompletionQueuepublic void setABox(ABox ab)
setABox in class CompletionQueueab - public void print(int type)
print in class CompletionQueuetype - public void print()
print in class CompletionQueuepublic void remove()
remove in interface java.util.Iterator<Individual>remove in class IndividualIteratorpublic void flushQueue()
CompletionQueue
flushQueue in class CompletionQueuepublic void clearQueue(NodeSelector s)
CompletionQueue
clearQueue in class CompletionQueue
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||