org.mindswap.pellet.tableau.completion.queue

Class CompletionQueue

java.lang.Object

org.mindswap.pellet.IndividualIterator

org.mindswap.pellet.tableau.completion.queue.CompletionQueue

All Implemented Interfaces:

Iterator<Individual>

Direct Known Subclasses:

BasicCompletionQueue, OptimizedBasicCompletionQueue

public abstract class CompletionQueue
extends IndividualIterator

Title: Completion Queue

Description: A queue for individuals that need to have completion rules applied

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Christian Halaschek-Wiener

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	closed
protected int	currentType
static Logger	log

Fields inherited from class org.mindswap.pellet.IndividualIterator

abox, index, nodeList, stop

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CompletionQueue(ABox abox) Constructor - create queue

Method Summary

Modifier and Type	Method and Description
abstract void	add(QueueElement x) Add an element to all queues
abstract void	add(QueueElement x, NodeSelector s) Add an element to the queue
protected boolean	allowLiterals() Get flag to allow literals
abstract void	clearQueue(NodeSelector s) Clear the queue
abstract CompletionQueue	copy() Copy the queue
protected abstract void	findNext(int type) Find the next individual in a given queue
abstract void	flushQueue() Flush the queue
protected abstract void	flushQueue(NodeSelector s) Flush the queue
protected aterm.ATermAppl	getNextLabel() Get next label
abstract void	incrementBranch(int branch) Set branch pointers to current pointer.
abstract Node	nextLiteral() Get next literal
abstract void	print() Print method for entire queue
abstract void	print(int type) Print method for a given queue type
void	printBranchInfo() Print branch information
abstract void	reset(NodeSelector s) Reset the current pointer
abstract 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
void	setAllowLiterals(boolean val) Set flag to allow literals
void	setClosed(boolean isClash)

Methods inherited from class org.mindswap.pellet.IndividualIterator

findNext, hasNext, next, remove

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Detail

log

public static final Logger log

currentType

protected int currentType

closed

protected boolean closed

Constructor Detail

CompletionQueue

protected CompletionQueue(ABox abox)

Constructor - create queue

Parameters:

abox -

Method Detail

findNext

protected abstract void findNext(int type)

Find the next individual in a given queue

Parameters:

type -

restore

public abstract void restore(int branch)

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

Parameters:

branch -

add

public abstract void add(QueueElement x,
                         NodeSelector s)

Add an element to the queue

Parameters:

x -

type -

add

public abstract void add(QueueElement x)

Add an element to all queues

Parameters:

x -

type -

reset

public abstract void reset(NodeSelector s)

Reset the current pointer

Overrides:

reset in class IndividualIterator

Parameters:

type -

incrementBranch

public abstract void incrementBranch(int branch)

Set branch pointers to current pointer. This is done whenever abox.incrementBranch is called

Parameters:

branch -

copy

public abstract CompletionQueue copy()

Copy the queue

Returns:

setABox

public void setABox(ABox ab)

Set the abox for the queue

Parameters:

ab -

print

public abstract void print(int type)

Print method for a given queue type

Parameters:

type -

print

public abstract void print()

Print method for entire queue

printBranchInfo

public void printBranchInfo()

Print branch information

setAllowLiterals

public void setAllowLiterals(boolean val)

Set flag to allow literals

Parameters:

val -

flushQueue

public abstract void flushQueue()

Flush the queue

flushQueue

protected abstract void flushQueue(NodeSelector s)

Flush the queue

clearQueue

public abstract void clearQueue(NodeSelector s)

Clear the queue

allowLiterals

protected boolean allowLiterals()

Get flag to allow literals

Returns:

nextLiteral

public abstract Node nextLiteral()

Get next literal

Returns:

getNextLabel

protected aterm.ATermAppl getNextLabel()

Get next label

Returns:

setClosed

public void setClosed(boolean isClash)