org.semanticweb.HermiT.tableau
Class HyperresolutionManager.DLClauseBodyKey

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.HyperresolutionManager.DLClauseBodyKey
Enclosing class:
HyperresolutionManager

protected static final class HyperresolutionManager.DLClauseBodyKey
extends java.lang.Object


Field Summary
protected  DLClause m_dlClause
           
protected  int m_hashCode
           
 
Constructor Summary
HyperresolutionManager.DLClauseBodyKey(DLClause dlClause)
           
 
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_dlClause

protected final DLClause m_dlClause

m_hashCode

protected final int m_hashCode
Constructor Detail

HyperresolutionManager.DLClauseBodyKey

public HyperresolutionManager.DLClauseBodyKey(DLClause dlClause)
Method Detail

equals

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

hashCode

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