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:

java.util.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

static java.util.logging.Logger

log

Method Summary

abstract void	add(QueueElement x) Add an element to all queues
abstract void	add(QueueElement x, NodeSelector s) Add an element to the queue
abstract void	clearQueue(NodeSelector s) Clear the queue
abstract CompletionQueue	copy() Copy the queue
abstract void	flushQueue() Flush the queue
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

hasNext, next, remove

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final java.util.logging.Logger log

Method Detail

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

clearQueue

public abstract void clearQueue(NodeSelector s)

Clear the queue

nextLiteral

public abstract Node nextLiteral()

Get next literal

Returns:

setClosed

public void setClosed(boolean isClash)