org.semanticweb.HermiT.existentials
Class IndividualReuseStrategy.NodeBranchingPointPair

java.lang.Object
  extended by org.semanticweb.HermiT.existentials.IndividualReuseStrategy.NodeBranchingPointPair
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
IndividualReuseStrategy

protected static class IndividualReuseStrategy.NodeBranchingPointPair
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int m_branchingPoint
           
protected  Node m_node
           
 
Constructor Summary
IndividualReuseStrategy.NodeBranchingPointPair(Node node, int branchingPoint)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_node

protected final Node m_node

m_branchingPoint

protected final int m_branchingPoint
Constructor Detail

IndividualReuseStrategy.NodeBranchingPointPair

public IndividualReuseStrategy.NodeBranchingPointPair(Node node,
                                                      int branchingPoint)