Class AtomVariable

  • All Implemented Interfaces:
    AtomObject
    Direct Known Subclasses:
    AtomDVariable, AtomIVariable

    public abstract class AtomVariable
    extends java.lang.Object
    implements AtomObject

    Title: Atom Variable

    Copyright: Copyright (c) 2007

    Company: Clark & Parsia, LLC.

    Author:
    Ron Alford
    • Constructor Summary

      Constructors 
      Constructor Description
      AtomVariable​(java.lang.String name)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compareTo​(openllet.aterm.ATermAppl arg0)  
      boolean equals​(java.lang.Object other)
      Checks if this variable is equal to some other variable.
      java.lang.String getName()  
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • AtomVariable

        public AtomVariable​(java.lang.String name)
    • Method Detail

      • compareTo

        public int compareTo​(openllet.aterm.ATermAppl arg0)
      • equals

        public boolean equals​(java.lang.Object other)
        Checks if this variable is equal to some other variable.
        Overrides:
        equals in class java.lang.Object
      • getName

        public java.lang.String getName()
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

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