org.mindswap.pellet.tableau.completion.queue

Class QueueElement

java.lang.Object

org.mindswap.pellet.tableau.completion.queue.QueueElement

public class QueueElement
extends Object

Structured stored on the completion queue

Author:

Christian Halaschek-Wiener

Constructor Summary

Constructors

Constructor and Description
QueueElement(Node n) Constructor
QueueElement(Node n, aterm.ATermAppl l)

Method Summary

Methods

Modifier and Type	Method and Description
aterm.ATermAppl	getLabel() Get the label
aterm.ATermAppl	getNode() Get the node
void	setLabel(aterm.ATermAppl l) Set label
void	setNode(aterm.ATermAppl n) Set the node
String	toString() To string

Methods inherited from class java.lang.Object

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

Constructor Detail

QueueElement

public QueueElement(Node n)

Constructor

Parameters:

ATermAppl - The node

ATermAppl - The label

QueueElement

public QueueElement(Node n,
            aterm.ATermAppl l)

Method Detail

toString

public String toString()

To string

Overrides:

toString in class Object

setLabel

public void setLabel(aterm.ATermAppl l)

Set label

Parameters:

ATermAppl - The label

setNode

public void setNode(aterm.ATermAppl n)

Set the node

Parameters:

ATermAppl - The node

getLabel

public aterm.ATermAppl getLabel()

Get the label

Returns:

ATermAppl The label

getNode

public aterm.ATermAppl getNode()

Get the node

Returns:

ATermAppl The node