public class TypeDependency extends Object implements Dependency
| Constructor and Description |
|---|
TypeDependency(aterm.ATermAppl ind,
aterm.ATermAppl type)
Constructor
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other)
Equals method
|
aterm.ATermAppl |
getInd()
Get the individual
|
aterm.ATermAppl |
getType()
Get the type
|
int |
hashCode()
Hashcode method
|
String |
toString()
ToString method
|
Copyright © 2019. All rights reserved.