org.semanticweb.HermiT.hierarchy
Class InstanceManager.DFSTypeCounter
java.lang.Object
org.semanticweb.HermiT.hierarchy.InstanceManager.DFSTypeCounter
- All Implemented Interfaces:
- InstanceManager.DFSVisitor<AtomicConcept>
- Enclosing class:
- InstanceManager
protected final class InstanceManager.DFSTypeCounter
- extends java.lang.Object
- implements InstanceManager.DFSVisitor<AtomicConcept>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_individual
protected final Individual m_individual
types
protected int types
possibleTypes
protected int possibleTypes
typesStack
protected java.util.List<java.lang.Integer> typesStack
InstanceManager.DFSTypeCounter
public InstanceManager.DFSTypeCounter(Individual individual)
previsit
public void previsit(int level,
HierarchyNode<AtomicConcept> node)
- Specified by:
previsit
in interface InstanceManager.DFSVisitor<AtomicConcept>
visit
public boolean visit(int level,
HierarchyNode<AtomicConcept> node)
- Specified by:
visit
in interface InstanceManager.DFSVisitor<AtomicConcept>
postvisit
public void postvisit(int level,
HierarchyNode<AtomicConcept> node)
- Specified by:
postvisit
in interface InstanceManager.DFSVisitor<AtomicConcept>