public class LanceurPseudo2007Eclipse extends LanceurPseudo2007
obfct
beginTime, COMMENT_PREFIX, exitCode, out, prime, problem, reader, shutdownHook, silent, solver
Constructor and Description |
---|
LanceurPseudo2007Eclipse() |
Modifier and Type | Method and Description |
---|---|
protected ISolver |
configureSolver(String[] args) |
protected Reader |
createReader(ISolver theSolver,
String problemname) |
protected void |
displayResult() |
static void |
main(String[] args)
Lance le prouveur sur un fichier Dimacs
|
getInstanceName, readProblem, usage
displayHeader, displayLicense, getBeginTime, getExitCode, getLogWriter, getReader, log, run, setDisplaySolutionLine, setExitCode, setIncomplete, setLauncherMode, setLogWriter, setSilent, showAvailableSolvers, showAvailableSolvers, solve
protected ISolver configureSolver(String[] args)
configureSolver
in class LanceurPseudo2005
protected Reader createReader(ISolver theSolver, String problemname)
createReader
in class LanceurPseudo2007
public static void main(String[] args)
args
- doit contenir le nom d'un fichier Dimacs, eventuellement
compress?.protected void displayResult()
displayResult
in class AbstractLauncher
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.