code: public void foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations) {
          notifyLaconicExplanationGeneratorProgressMonitor(explanation);
      }
docs: /////////////////////////////////////////////////////////////////////////////////////////////////////