public class SilentExplanationProgressMonitor extends Object implements ExplanationProgressMonitor
Constructor and Description |
---|
SilentExplanationProgressMonitor() |
Modifier and Type | Method and Description |
---|---|
void |
foundAllExplanations()
Called when all explanations have been found.
|
void |
foundExplanation(Set<OWLAxiom> axioms)
Called when an explanation has been found.
|
boolean |
isCancelled()
Determines if the process of generating explanations has been cancelled.
|
public void foundExplanation(Set<OWLAxiom> axioms)
ExplanationProgressMonitor
foundExplanation
in interface ExplanationProgressMonitor
axioms
- The axioms that constitute the explanationpublic boolean isCancelled()
ExplanationProgressMonitor
isCancelled
in interface ExplanationProgressMonitor
true
if the process has been cancelled, or false
if the process
hasn't been cancelled.public void foundAllExplanations()
ExplanationProgressMonitor
foundAllExplanations
in interface ExplanationProgressMonitor
Copyright © 2020 The University of Manchester. All rights reserved.