Uses of Interface
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor
Packages that use ReasonerProgressMonitor
-
Uses of ReasonerProgressMonitor in org.semanticweb.owlapi.reasoner
Classes in org.semanticweb.owlapi.reasoner that implement ReasonerProgressMonitorModifier and TypeClassDescriptionclass
class
An implementation of a progress monitor that does nothing when it receives notification of progress events.class
Methods in org.semanticweb.owlapi.reasoner that return ReasonerProgressMonitorModifier and TypeMethodDescriptionOWLReasonerConfiguration.getProgressMonitor()
Gets a progress monitor that the reasoner may update with information about the progress of its reasoning process.SimpleConfiguration.getProgressMonitor()
Constructors in org.semanticweb.owlapi.reasoner with parameters of type ReasonerProgressMonitorModifierConstructorDescriptionSimpleConfiguration
(ReasonerProgressMonitor progressMonitor) SimpleConfiguration
(ReasonerProgressMonitor progressMonitor, long timeOut) SimpleConfiguration
(ReasonerProgressMonitor progressMonitor, FreshEntityPolicy freshEntityPolicy, long timeOut, IndividualNodeSetPolicy individualNodeSetPolicy)