org.sat4j.pb
Class LanceurPseudo2007Eclipse

java.lang.Object
  extended by org.sat4j.AbstractLauncher
      extended by org.sat4j.AbstractOptimizationLauncher
          extended by org.sat4j.pb.LanceurPseudo2005
              extended by org.sat4j.pb.LanceurPseudo2007
                  extended by org.sat4j.pb.LanceurPseudo2007Eclipse
All Implemented Interfaces:
Serializable, ICDCLLogger

public class LanceurPseudo2007Eclipse
extends LanceurPseudo2007

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.pb.LanceurPseudo2005
obfct
 
Fields inherited from class org.sat4j.AbstractLauncher
ANSWER_PREFIX, beginTime, COMMENT_PREFIX, exitCode, out, prime, reader, shutdownHook, silent, SOLUTION_PREFIX, solver
 
Fields inherited from interface org.sat4j.minisat.core.ICDCLLogger
CONSOLE
 
Constructor Summary
LanceurPseudo2007Eclipse()
           
 
Method Summary
protected  ISolver configureSolver(String[] args)
           
protected  Reader createReader(ISolver theSolver, String problemname)
           
protected  void displayAnswer()
           
static void main(String[] args)
          Lance le prouveur sur un fichier Dimacs
 
Methods inherited from class org.sat4j.pb.LanceurPseudo2005
getInstanceName, readProblem, usage
 
Methods inherited from class org.sat4j.AbstractOptimizationLauncher
displayResult, setDisplaySolutionLine, setIncomplete, solve
 
Methods inherited from class org.sat4j.AbstractLauncher
displayHeader, displayLicense, getBeginTime, getExitCode, getLogWriter, getReader, log, run, setExitCode, setLogWriter, setSilent, showAvailableSolvers, showAvailableSolvers
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.sat4j.minisat.core.ICDCLLogger
log
 

Constructor Detail

LanceurPseudo2007Eclipse

public LanceurPseudo2007Eclipse()
Method Detail

configureSolver

protected ISolver configureSolver(String[] args)
Overrides:
configureSolver in class LanceurPseudo2005

createReader

protected Reader createReader(ISolver theSolver,
                              String problemname)
Overrides:
createReader in class LanceurPseudo2007

main

public static void main(String[] args)
Lance le prouveur sur un fichier Dimacs

Parameters:
args - doit contenir le nom d'un fichier Dimacs, eventuellement compress?.

displayAnswer

protected void displayAnswer()
Overrides:
displayAnswer in class AbstractOptimizationLauncher


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.