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