public interface ISolverRunner
ISolverRunner
represents a solver execution for a given
input.Modifier and Type | Method and Description |
---|---|
boolean |
isTerminated()
Indicates if this solver running step is terminated or not.
|
void |
run(java.lang.String arguments,
java.lang.String output)
Starts the solver running step, using the given
arguments as execution input
(provided through command line arguments).
|
boolean isTerminated()
void run(java.lang.String arguments, java.lang.String output) throws org.eclipse.core.runtime.CoreException
arguments
- Command line arguments to provide to the runner.output
- Path of the output file on which solver output should be redirected.org.eclipse.core.runtime.CoreException
- If any error occurs during execution.