org.semanticweb.HermiT.tableau
Class HyperresolutionManager.DLClauseBodyKey
java.lang.Object
org.semanticweb.HermiT.tableau.HyperresolutionManager.DLClauseBodyKey
- Enclosing class:
- HyperresolutionManager
protected static final class HyperresolutionManager.DLClauseBodyKey
- extends Object
m_dlClause
protected final DLClause m_dlClause
m_hashCode
protected final int m_hashCode
HyperresolutionManager.DLClauseBodyKey
public HyperresolutionManager.DLClauseBodyKey(DLClause dlClause)
equals
public boolean equals(Object that)
- Overrides:
equals
in class Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class Object
Copyright © 2012. All Rights Reserved.