Interface CompletionExplorer
-
public interface CompletionExplorer
Explorer of execution tree once other exploration is complete.- Author:
- Daniel Sagenschneider
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
complete()
Undertakes exploration completion.
-