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

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.queue.QueueElement

public class QueueElement
extends java.lang.Object

Structured stored on the completion queue

Author:
Christian Halaschek-Wiener

Constructor Summary
QueueElement(Node n)
          Constructor
QueueElement(Node n, aterm.ATermAppl l)
           
 
Method Summary
 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
 java.lang.String toString()
          To string
 
Methods inherited from class java.lang.Object
equals, 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 java.lang.String toString()
To string

Overrides:
toString in class java.lang.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


Copyright © 2004 Evren Sirin. All Rights Reserved.