Class AtomConstant

  • All Implemented Interfaces:
    AtomObject
    Direct Known Subclasses:
    AtomDConstant, AtomIConstant

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

    Title: Atom Constant

    Copyright: Copyright (c) 2007

    Company: Clark & Parsia, LLC.

    Author:
    Ron Alford
    • Constructor Summary

      Constructors 
      Constructor Description
      AtomConstant​(openllet.aterm.ATermAppl value)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object other)  
      openllet.aterm.ATermAppl getValue()  
      int hashCode()  
      • Methods inherited from class java.lang.Object

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

      • AtomConstant

        public AtomConstant​(openllet.aterm.ATermAppl value)
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • getValue

        public openllet.aterm.ATermAppl getValue()
        Returns:
        the openllet.aterm _value this constant was initialized with.
      • hashCode

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