Uses of Interface
com.clarkparsia.owlapi.explanation.util.ExplanationProgressMonitor

Packages that use ExplanationProgressMonitor

Package	Description
com.clarkparsia.owlapi.explanation
com.clarkparsia.owlapi.explanation.util

Uses of ExplanationProgressMonitor in com.clarkparsia.owlapi.explanation

Methods in com.clarkparsia.owlapi.explanation with parameters of type ExplanationProgressMonitor

Modifier and Type	Method and Description
void	MultipleExplanationGenerator.setProgressMonitor(ExplanationProgressMonitor progressMonitor) Sets the progress monitor for this multiple explanation generator.
void	HSTExplanationGenerator.setProgressMonitor(ExplanationProgressMonitor progressMonitor)

Constructors in com.clarkparsia.owlapi.explanation with parameters of type ExplanationProgressMonitor

Constructor and Description
DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, ExplanationProgressMonitor progressMonitor) Instantiates a new default explanation generator.
DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, OWLReasoner reasoner, ExplanationProgressMonitor progressMonitor) Instantiates a new default explanation generator.

Uses of ExplanationProgressMonitor in com.clarkparsia.owlapi.explanation.util

Classes in com.clarkparsia.owlapi.explanation.util that implement ExplanationProgressMonitor

Modifier and Type	Class and Description
class	SilentExplanationProgressMonitor The Class SilentExplanationProgressMonitor.