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

Packages that use ClassificationProgressMonitor

Package	Description
org.semanticweb.HermiT.hierarchy

Uses of ClassificationProgressMonitor in org.semanticweb.HermiT.hierarchy

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type ClassificationProgressMonitor

Constructor and Description
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)