Class TypeDependency
- java.lang.Object
-
- openllet.core.tableau.completion.incremental.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 methodopenllet.aterm.ATermAppl
getInd()
openllet.aterm.ATermAppl
getType()
int
hashCode()
Hashcode methodjava.lang.String
toString()
ToString method
-
-
-
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 classjava.lang.Object
-
equals
public boolean equals(java.lang.Object other)
Equals method- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
Hashcode method- Overrides:
hashCode
in classjava.lang.Object
-
-