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 Object


Field Summary
protected  Set<Variable> m_boundVariables
           
protected  DLClause m_dlClause
           
protected  List<Atom> m_nodeIDComparisonAtoms
           
protected  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 List<Atom> m_nodeIDComparisonAtoms

m_usedAtoms

protected final boolean[] m_usedAtoms

m_reorderedAtoms

protected final List<Atom> m_reorderedAtoms

m_boundVariables

protected final 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)


Copyright © 2012. All Rights Reserved.