public class BasicLauncher<T extends ISolver> extends AbstractLauncher
beginTime, COMMENT_PREFIX, exitCode, out, prime, problem, reader, shutdownHook, silent, solver
Constructor and Description |
---|
BasicLauncher(ASolverFactory<T> factory) |
Modifier and Type | Method and Description |
---|---|
protected ISolver |
configureSolver(java.lang.String[] args) |
protected Reader |
createReader(ISolver theSolver,
java.lang.String problemname) |
protected java.lang.String |
getInstanceName(java.lang.String[] args) |
static void |
main(java.lang.String[] args)
Lance le prouveur sur un fichier Dimacs.
|
void |
usage() |
displayHeader, displayLicense, displayResult, getBeginTime, getExitCode, getLogWriter, getReader, log, readProblem, run, setDisplaySolutionLine, setExitCode, setIncomplete, setLauncherMode, setLogWriter, setSilent, showAvailableSolvers, showAvailableSolvers, solve
public BasicLauncher(ASolverFactory<T> factory)
public static void main(java.lang.String[] args)
args
- doit contenir le nom d'un fichier Dimacs, eventuellement
compress?.protected ISolver configureSolver(java.lang.String[] args)
configureSolver
in class AbstractLauncher
protected Reader createReader(ISolver theSolver, java.lang.String problemname)
createReader
in class AbstractLauncher
public void usage()
usage
in class AbstractLauncher
protected java.lang.String getInstanceName(java.lang.String[] args)
getInstanceName
in class AbstractLauncher