Uses of Interface
org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor

Packages that use ClassificationProgressMonitor
org.semanticweb.HermiT   
org.semanticweb.HermiT.hierarchy   
 

Uses of ClassificationProgressMonitor in org.semanticweb.HermiT
 

Methods in org.semanticweb.HermiT with parameters of type ClassificationProgressMonitor
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConcepts(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean forceQuasiOrder)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
 

Uses of ClassificationProgressMonitor in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as ClassificationProgressMonitor
protected  ClassificationProgressMonitor QuasiOrderClassification.m_progressMonitor
           
protected  ClassificationProgressMonitor DeterministicClassification.m_progressMonitor
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type ClassificationProgressMonitor
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts)