org.mindswap.pellet.tableau.completion.incremental

Class MergeDependency

java.lang.Object

org.mindswap.pellet.tableau.completion.incremental.MergeDependency

All Implemented Interfaces:

Dependency

public class MergeDependency
extends Object
implements Dependency

A dependency for a node merge

Author:

Christian Halaschek-Wiener

Constructor Summary

Constructors

Constructor and Description
MergeDependency(aterm.ATermAppl ind, aterm.ATermAppl mergedIntoInd) Constructor

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other) Equals method
aterm.ATermAppl	getInd() Get the individual that is merged into the other
aterm.ATermAppl	getmergedIntoInd() Get the individual that has ind merged into it
int	hashCode() Hashcode method TODO: this may not be sufficient
String	toString() ToString method

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

MergeDependency

public MergeDependency(aterm.ATermAppl ind,
                       aterm.ATermAppl mergedIntoInd)

Constructor

Parameters:

ind -

mergedIntoInd -

Method Detail

getInd

public aterm.ATermAppl getInd()

Get the individual that is merged into the other

Returns:

getmergedIntoInd

public aterm.ATermAppl getmergedIntoInd()

Get the individual that has ind merged into it

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 TODO: this may not be sufficient

Overrides:

hashCode in class Object