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

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.incremental.MergeDependency
All Implemented Interfaces:
Dependency

public class MergeDependency
extends java.lang.Object
implements Dependency

A dependency for a node merge

Author:
Christian Halaschek-Wiener

Constructor Summary
MergeDependency(aterm.ATermAppl ind, aterm.ATermAppl mergedIntoInd)
          Constructor
 
Method Summary
 boolean equals(java.lang.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
 java.lang.String toString()
          ToString method
 
Methods inherited from class java.lang.Object
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 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 TODO: this may not be sufficient

Overrides:
hashCode in class java.lang.Object


Copyright © 2004 Evren Sirin. All Rights Reserved.