Interface CompletionExplorer


public interface CompletionExplorer
Explorer of execution tree once other exploration is complete.
Author:
Daniel Sagenschneider
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    Undertakes exploration completion.
  • Method Details

    • complete

      void complete() throws Exception
      Undertakes exploration completion.
      Throws:
      Exception - If failure in completing exploration.