Uses of Interface
org.liveontologies.protege.explanation.justification.service.JustificationComputation.InterruptMonitor

Packages that use JustificationComputation.InterruptMonitor

Package	Description
org.liveontologies.protege.explanation.justification
org.liveontologies.protege.explanation.justification.service

Uses of JustificationComputation.InterruptMonitor in org.liveontologies.protege.explanation.justification

Classes in org.liveontologies.protege.explanation.justification that implement JustificationComputation.InterruptMonitor

Modifier and Type	Class	Description
class	ExplanationGeneratorProgressDialog	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 20/03/2012
class	JustificationProgressPanel	Author: Matthew Horridge The University of Manchester Information Management Group Date: 14-Oct-2009

Uses of JustificationComputation.InterruptMonitor in org.liveontologies.protege.explanation.justification.service

Methods in org.liveontologies.protege.explanation.justification.service that return JustificationComputation.InterruptMonitor

Modifier and Type	Method	Description
JustificationComputation.InterruptMonitor	JustificationComputationManager.getInterruptMonitor()

Methods in org.liveontologies.protege.explanation.justification.service with parameters of type JustificationComputation.InterruptMonitor

Modifier and Type	Method	Description
abstract JustificationComputationManager	JustificationComputationService.createComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment, JustificationListener listener, JustificationComputation.InterruptMonitor monitor)	Creates a JustificationComputationManager computation object designed to compute everything regarding the service.
JustificationComputationManager	JustificationComputationService.createInconsistentOntologyJustificationComputation(JustificationListener listener, JustificationComputation.InterruptMonitor monitor)

Constructors in org.liveontologies.protege.explanation.justification.service with parameters of type JustificationComputation.InterruptMonitor

Modifier	Constructor	Description
	JustificationComputation(JustificationListener listener, JustificationComputation.InterruptMonitor monitor)
	JustificationComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment, JustificationListener listener, JustificationComputation.InterruptMonitor monitor)	Constructs a computation object