org.semanticweb.HermiT.hierarchy
Class InstanceManager.DFSTypeCounter

java.lang.Object
  extended by 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>


Field Summary
protected  Individual m_individual
           
protected  int possibleTypes
           
protected  int types
           
protected  java.util.List<java.lang.Integer> typesStack
           
 
Constructor Summary
InstanceManager.DFSTypeCounter(Individual individual)
           
 
Method Summary
 void postvisit(int level, HierarchyNode<AtomicConcept> node)
           
 void previsit(int level, HierarchyNode<AtomicConcept> node)
           
 boolean visit(int level, HierarchyNode<AtomicConcept> node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_individual

protected final Individual m_individual

types

protected int types

possibleTypes

protected int possibleTypes

typesStack

protected java.util.List<java.lang.Integer> typesStack
Constructor Detail

InstanceManager.DFSTypeCounter

public InstanceManager.DFSTypeCounter(Individual individual)
Method Detail

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>