Package openllet.core.tableau.completion.queue

Class QueueElement

  • public class QueueElement
extends java.lang.Object
    Structured stored on the completion _queue
    Author:
    Christian Halaschek-Wiener

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      openllet.aterm.ATermAppl getLabel()
      Get the label
      openllet.aterm.ATermAppl getNode()
      Get the _node
      void setLabel​(openllet.aterm.ATermAppl l)
      Set label
      void setNode​(openllet.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:
        n - The _node

      • QueueElement

        public QueueElement​(Node n,
                    openllet.aterm.ATermAppl l)

    • Method Detail

      • toString

        public java.lang.String toString()
        To string
        Overrides:
        toString in class java.lang.Object

      • setLabel

        public void setLabel​(openllet.aterm.ATermAppl l)
        Set label
        Parameters:
        l - The label

      • setNode

        public void setNode​(openllet.aterm.ATermAppl n)
        Set the _node
        Parameters:
        n - The _node

      • getLabel

        public openllet.aterm.ATermAppl getLabel()
        Get the label
        Returns:
        ATermAppl The label

      • getNode

        public openllet.aterm.ATermAppl getNode()
        Get the _node
        Returns:
        ATermAppl The _node