|
||||||||||
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.BasicCompletionQueue
public class BasicCompletionQueue
A basic queue for individuals that need to have completion rules applied
Field Summary | |
---|---|
static java.util.logging.Logger |
log
|
Constructor Summary | |
---|---|
BasicCompletionQueue(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 |
BasicCompletionQueue |
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 BasicCompletionQueue(ABox abox)
abox
- Method Detail |
---|
public boolean hasNext()
hasNext
in interface java.util.Iterator<Individual>
hasNext
in class IndividualIterator
type
-
public void restore(int branch)
restore
in class CompletionQueue
branch
- public Individual next()
next
in interface java.util.Iterator<Individual>
next
in class IndividualIterator
type
-
public Node nextLiteral()
nextLiteral
in class CompletionQueue
type
-
public void add(QueueElement x, NodeSelector s)
CompletionQueue
add
in class CompletionQueue
public void add(QueueElement x)
CompletionQueue
add
in class CompletionQueue
public void reset(NodeSelector s)
reset
in class CompletionQueue
type
- public void incrementBranch(int branch)
incrementBranch
in class CompletionQueue
branch
- public BasicCompletionQueue copy()
copy
in class CompletionQueue
public void setABox(ABox ab)
setABox
in class CompletionQueue
ab
- public void print(int type)
print
in class CompletionQueue
type
- public void print()
print
in class CompletionQueue
public void remove()
remove
in interface java.util.Iterator<Individual>
remove
in class IndividualIterator
public void flushQueue()
CompletionQueue
flushQueue
in class CompletionQueue
public 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 |