@Deprecated public class Lanceur extends AbstractLauncher implements ILogAble
beginTime, COMMENT_PREFIX, exitCode, out, prime, reader, shutdownHook, silent, solver
Constructor and Description |
---|
Lanceur()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
protected ICDCL |
configureSolver(String[] args)
Deprecated.
Configure the solver according to the command line parameters.
|
static org.apache.commons.cli.Options |
createCLIOptions()
Deprecated.
|
protected Reader |
createReader(ISolver theSolver,
String problemname)
Deprecated.
|
protected void |
displayAnswer()
Deprecated.
|
void |
displayLicense()
Deprecated.
|
protected void |
displayResult()
Deprecated.
|
protected String |
getInstanceName(String[] args)
Deprecated.
|
static void |
main(String[] args)
Deprecated.
|
protected IProblem |
readProblem(String problemname)
Deprecated.
Reads a problem file from the command line.
|
void |
run(String[] args)
Deprecated.
|
protected void |
solve(IProblem problem)
Deprecated.
|
void |
usage()
Deprecated.
|
displayHeader, getBeginTime, getExitCode, getLogWriter, getReader, log, setDisplaySolutionLine, setExitCode, setIncomplete, setLauncherMode, setLogWriter, setSilent, showAvailableSolvers, showAvailableSolvers
public static void main(String[] args)
protected ICDCL configureSolver(String[] args)
configureSolver
in class AbstractLauncher
args
- the command lineprotected Reader createReader(ISolver theSolver, String problemname)
createReader
in class AbstractLauncher
public void displayLicense()
displayLicense
in class AbstractLauncher
protected String getInstanceName(String[] args)
getInstanceName
in class AbstractLauncher
protected IProblem readProblem(String problemname) throws ParseFormatException, IOException, ContradictionException
AbstractLauncher
readProblem
in class AbstractLauncher
problemname
- the fully qualified name of the problem.ParseFormatException
- if the problem is not expressed using the right formatIOException
- for other IO problemsContradictionException
- if the problem is found trivially unsatprotected void solve(IProblem problem) throws TimeoutException
solve
in class AbstractLauncher
TimeoutException
protected void displayResult()
displayResult
in class AbstractLauncher
protected void displayAnswer()
public void run(String[] args)
run
in class AbstractLauncher
public void usage()
usage
in class AbstractLauncher
public static org.apache.commons.cli.Options createCLIOptions()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.