org.semanticweb.HermiT.tableau
Class HyperresolutionManager.BodyAtomsSwapper

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

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


Field Summary
protected  java.util.Set<Variable> m_boundVariables
           
protected  DLClause m_dlClause
           
protected  java.util.List<Atom> m_nodeIDComparisonAtoms
           
protected  java.util.List<Atom> m_reorderedAtoms
           
protected  boolean[] m_usedAtoms
           
 
Constructor Summary
HyperresolutionManager.BodyAtomsSwapper(DLClause dlClause)
           
 
Method Summary
protected  int getAtomGoodness(Atom atom)
           
 DLClause getSwappedDLClause(int bodyIndex)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

HyperresolutionManager.BodyAtomsSwapper

public HyperresolutionManager.BodyAtomsSwapper(DLClause dlClause)
Method Detail

getSwappedDLClause

public DLClause getSwappedDLClause(int bodyIndex)

getAtomGoodness

protected int getAtomGoodness(Atom atom)