public interface ExplanationProgressMonitor<E>
| Modifier and Type | Method and Description |
|---|---|
void |
foundExplanation(ExplanationGenerator<E> generator,
Explanation<E> explanation,
Set<Explanation<E>> allFoundExplanations)
Called by explanation generators that support progress monitors.
|
boolean |
isCancelled()
The explanation generator will periodically check to see if it should continue finding explanations by calling
this method.
|
void foundExplanation(ExplanationGenerator<E> generator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations)
generator - The explanation generator that found the explanationexplanation - The explanation that was found
for the entailment or false if the explanation generator should stop finding explanations
at the next opportunity.allFoundExplanations - All of the explanations found so far for the specified entailmentboolean isCancelled()
true if the explanation generator should cancel the explanation finding process or false
if the explanation generator should continue.Copyright © 2014. All rights reserved.