org.semanticweb.HermiT.debugger
Class DerivationHistory.AtomKey

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationHistory.AtomKey
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DerivationHistory

protected static class DerivationHistory.AtomKey
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int m_hashCode
           
protected  java.lang.Object[] m_tuple
           
 
Constructor Summary
DerivationHistory.AtomKey(java.lang.Object[] tuple)
           
 
Method Summary
 boolean equals(java.lang.Object that)
           
 int hashCode()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_tuple

protected final java.lang.Object[] m_tuple

m_hashCode

protected final int m_hashCode
Constructor Detail

DerivationHistory.AtomKey

public DerivationHistory.AtomKey(java.lang.Object[] tuple)
Method Detail

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object that)
Overrides:
equals in class java.lang.Object