Interface CompletionExplorer


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

      • complete

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