org.semanticweb.HermiT.hierarchy
Class DeterministicClassification.DFSIndex

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.DeterministicClassification.DFSIndex
Enclosing class:
DeterministicClassification

protected static class DeterministicClassification.DFSIndex
extends java.lang.Object


Field Summary
 int m_value
           
 
Constructor Summary
protected DeterministicClassification.DFSIndex()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_value

public int m_value
Constructor Detail

DeterministicClassification.DFSIndex

protected DeterministicClassification.DFSIndex()