org.semanticweb.HermiT.debugger
Class DerivationHistory.AtomKey
java.lang.Object
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
m_tuple
protected final Object[] m_tuple
m_hashCode
protected final int m_hashCode
DerivationHistory.AtomKey
public DerivationHistory.AtomKey(Object[] tuple)
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.