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