org.semanticweb.HermiT.debugger
Class DerivationHistory.AtomKey

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

protected static class DerivationHistory.AtomKey
extends Object
implements Serializable

See Also:
Serialized Form

Field Summary
protected  int m_hashCode
           
protected  Object[] m_tuple
           
 
Constructor Summary
DerivationHistory.AtomKey(Object[] tuple)
           
 
Method Summary
 boolean equals(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 Object[] m_tuple

m_hashCode

protected final int m_hashCode
Constructor Detail

DerivationHistory.AtomKey

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

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

public boolean equals(Object that)
Overrides:
equals in class Object


Copyright © 2012. All Rights Reserved.