Class TypeDependency

  • All Implemented Interfaces:
    Dependency

    public class TypeDependency
    extends java.lang.Object
    implements Dependency
    A _type dependency.
    Author:
    Christian Halaschek-Wiener
    • Constructor Summary

      Constructors 
      Constructor Description
      TypeDependency​(openllet.aterm.ATermAppl ind, openllet.aterm.ATermAppl type)
      Constructor
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object other)
      Equals method
      openllet.aterm.ATermAppl getInd()  
      openllet.aterm.ATermAppl getType()  
      int hashCode()
      Hashcode method
      java.lang.String toString()
      ToString method
      • Methods inherited from class java.lang.Object

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

      • TypeDependency

        public TypeDependency​(openllet.aterm.ATermAppl ind,
                              openllet.aterm.ATermAppl type)
        Constructor
        Parameters:
        ind -
        type -
    • Method Detail

      • getInd

        public openllet.aterm.ATermAppl getInd()
        Returns:
        the _individual
      • getType

        public openllet.aterm.ATermAppl getType()
        Returns:
        the _type
      • toString

        public java.lang.String toString()
        ToString method
        Overrides:
        toString in class java.lang.Object
      • equals

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

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