Package openllet.core.tableau.completion.queue

Class OptimizedBasicCompletionQueue

java.lang.Object

openllet.core.boxes.abox.IndividualIterator

openllet.core.tableau.completion.queue.CompletionQueue

openllet.core.tableau.completion.queue.OptimizedBasicCompletionQueue

All Implemented Interfaces:

java.util.Iterator<Individual>

public final class OptimizedBasicCompletionQueue
extends CompletionQueue

An optimized basic _queue for individuals that need to have completion rules applied

Field Summary

Fields inherited from class openllet.core.tableau.completion.queue.CompletionQueue

_logger

Constructor Summary

Constructors

Constructor	Description
OptimizedBasicCompletionQueue(ABox abox)	Constructor - create _queue

Method Summary

Modifier and Type	Method	Description
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()
void	flushQueue()	Flush the queue
boolean	hasNext()
void	incrementBranch(int branch)	Set _branch pointers to _current pointer.
Individual	next()
Node	nextLiteral()
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 openllet.core.tableau.completion.queue.CompletionQueue

printBranchInfo, setAllowLiterals, setClosed

Methods inherited from class openllet.core.boxes.abox.IndividualIterator

nodes, size

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

OptimizedBasicCompletionQueue

public OptimizedBasicCompletionQueue(ABox abox)

Constructor - create _queue

Parameters:

abox -

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Individual>

Overrides:

hasNext in class IndividualIterator

Returns:

true if there is another element on the queue to process

restore

public void restore(int branch)

Reset the queue to be the current nodes in the abox; Also reset the type index to 0

Specified by:

restore in class CompletionQueue

Parameters:

branch -

next

public Individual next()

Specified by:

next in interface java.util.Iterator<Individual>

Overrides:

next in class IndividualIterator

Returns:

the next element of a _queue of a given type

nextLiteral

public Node nextLiteral()

Specified by:

nextLiteral in class CompletionQueue

Returns:

the next element of a _queue of a given type

add

public void add(QueueElement x,
                NodeSelector s)

Description copied from class: CompletionQueue

Add an element to the _queue

Specified by:

add in class CompletionQueue

add

public void add(QueueElement x)

Description copied from class: CompletionQueue

Add an element to all queues

Specified by:

add in class CompletionQueue

reset

public void reset(NodeSelector s)

Reset the cutoff for a given type _index

Specified by:

reset in class CompletionQueue

Parameters:

s -

incrementBranch

public void incrementBranch(int branch)

Set _branch pointers to _current pointer. This is done whenever _abox.incrementBranch is called

Specified by:

incrementBranch in class CompletionQueue

Parameters:

branch -

copy

public OptimizedBasicCompletionQueue copy()

Specified by:

copy in class CompletionQueue

Returns:

a copy of the queue

setABox

public void setABox(ABox ab)

Set the abox for the queue

Overrides:

setABox in class CompletionQueue

Parameters:

ab -

print

public void print(int type)

Print method for a given queue type

Specified by:

print in class CompletionQueue

Parameters:

type -

print

public void print()

Print method for entire _queue

Specified by:

print in class CompletionQueue

remove

public void remove()

Remove method for abstract class

Specified by:

remove in interface java.util.Iterator<Individual>

Overrides:

remove in class IndividualIterator

flushQueue

public void flushQueue()

Description copied from class: CompletionQueue

Flush the queue

Specified by:

flushQueue in class CompletionQueue

clearQueue

public void clearQueue(NodeSelector s)

Description copied from class: CompletionQueue

Clear the queue

Specified by:

clearQueue in class CompletionQueue