org.semanticweb.HermiT.existentials
Class IndividualReuseStrategy.NodeBranchingPointPair
java.lang.Object
org.semanticweb.HermiT.existentials.IndividualReuseStrategy.NodeBranchingPointPair
- All Implemented Interfaces:
- Serializable
- Enclosing class:
- IndividualReuseStrategy
protected static class IndividualReuseStrategy.NodeBranchingPointPair
- extends Object
- implements Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_node
protected final Node m_node
m_branchingPoint
protected final int m_branchingPoint
IndividualReuseStrategy.NodeBranchingPointPair
public IndividualReuseStrategy.NodeBranchingPointPair(Node node,
int branchingPoint)
Copyright © 2012. All Rights Reserved.