org.semanticweb.HermiT.tableau
Class HyperresolutionManager.BodyAtomsSwapper
java.lang.Object
org.semanticweb.HermiT.tableau.HyperresolutionManager.BodyAtomsSwapper
- Enclosing class:
- HyperresolutionManager
protected static final class HyperresolutionManager.BodyAtomsSwapper
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_dlClause
protected final DLClause m_dlClause
m_nodeIDComparisonAtoms
protected final java.util.List<Atom> m_nodeIDComparisonAtoms
m_usedAtoms
protected final boolean[] m_usedAtoms
m_reorderedAtoms
protected final java.util.List<Atom> m_reorderedAtoms
m_boundVariables
protected final java.util.Set<Variable> m_boundVariables
HyperresolutionManager.BodyAtomsSwapper
public HyperresolutionManager.BodyAtomsSwapper(DLClause dlClause)
getSwappedDLClause
public DLClause getSwappedDLClause(int bodyIndex)
getAtomGoodness
protected int getAtomGoodness(Atom atom)