/** * Starts the design space exploration asynchronously. Completion of the process can be verified by calling * {@link DesignSpaceExplorer#isDone()}. * * @param strategy * The strategy of the exploration. */ public void startExplorationAsync(IStrategy strategy) { startExploration(strategy, false, -1); }
/** * Starts the design space exploration asynchronously with a timeout. Completion of the process can be verified by * calling {@link DesignSpaceExplorer#isDone()}. * * @param strategy * The strategy of the exploration. * @param timeout * The number of milliseconds before the exploration is forced to stop. * @return Returns true if the exploration stopped by the timeout. */ public boolean startExplorationAsyncWithTimeout(IStrategy strategy, long timeout) { return startExploration(strategy, false, timeout); }
/** * Starts the design space exploration. It returns only when the strategy decides to stop the execution. * * @param strategy * The strategy of the exploration. */ public void startExploration(IStrategy strategy) { startExploration(strategy, true, -1); }
/** * Starts the design space exploration with a timeout. It returns only when the strategy decides to stop the * execution or the given timeout is elapsed. * * @param strategy * The strategy of the exploration. * @param timeout * The number of milliseconds before the exploration is forced to stop. * @return Returns true if the exploration stopped by the timeout. */ public boolean startExplorationWithTimeout(IStrategy strategy, long timeout) { return startExploration(strategy, true, timeout); }