Uses of Interface
org.semanticweb.HermiT.hierarchy.InstanceManager.DFSVisitor

Packages that use InstanceManager.DFSVisitor
org.semanticweb.HermiT.hierarchy   
 

Uses of InstanceManager.DFSVisitor in org.semanticweb.HermiT.hierarchy
 

Classes in org.semanticweb.HermiT.hierarchy that implement InstanceManager.DFSVisitor
protected  class InstanceManager.DFSTypeCounter