public interface ExplanationProgressMonitor
MultipleExplanationGenerator
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.
|
boolean isCancelled()
true
if the process has been cancelled, or false
if the process
hasn't been cancelled.void foundExplanation(@Nonnull Set<OWLAxiom> axioms)
axioms
- The axioms that constitute the explanationvoid foundAllExplanations()
Copyright © 2020 The University of Manchester. All rights reserved.