org.mindswap.pellet.tableau.completion.incremental

Class TypeDependency

java.lang.Object

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

All Implemented Interfaces:

Dependency

public class TypeDependency
extends Object
implements Dependency

A type dependency.

Author:

Christian Halaschek-Wiener

Constructor Summary

Constructors

Constructor and Description
TypeDependency(aterm.ATermAppl ind, aterm.ATermAppl type) Constructor

Method Summary

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

Methods inherited from class java.lang.Object

clone, finalize, 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 String toString()

ToString method

Overrides:

toString in class Object

equals

public boolean equals(Object other)

Equals method

Overrides:

equals in class Object

hashCode

public int hashCode()

Hashcode method

Overrides:

hashCode in class Object