org.mindswap.pellet.tableau.completion.incremental
Class TypeDependency

java.lang.Object
  extended by org.mindswap.pellet.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
TypeDependency(aterm.ATermAppl ind, aterm.ATermAppl type)
          Constructor
 
Method Summary
 boolean equals(java.lang.Object other)
          Equals method
 aterm.ATermAppl getInd()
          Get the individual
 aterm.ATermAppl getType()
          Get the type
 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(aterm.ATermAppl ind,
                      aterm.ATermAppl type)
Constructor

Parameters:
ind -
type -
Method Detail

getInd

public aterm.ATermAppl getInd()
Get the individual

Returns:

getType

public aterm.ATermAppl getType()
Get the type

Returns:

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


Copyright © 2004 Evren Sirin. All Rights Reserved.