org.sat4j.pb
Class LanceurPseudo2007

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
All Implemented Interfaces:
Serializable, ICDCLLogger
Direct Known Subclasses:
LanceurPseudo2007Eclipse

public class LanceurPseudo2007
extends LanceurPseudo2005

Launcher for the Pseudo Boolean 2007 competition.

Author:
daniel
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
LanceurPseudo2007()
           
LanceurPseudo2007(ASolverFactory<IPBSolver> factory)
           
 
Method Summary
protected  Reader createReader(ISolver theSolver, String problemname)
           
static void main(String[] args)
          Lance le prouveur sur un fichier Dimacs
 
Methods inherited from class org.sat4j.pb.LanceurPseudo2005
configureSolver, getInstanceName, readProblem, usage
 
Methods inherited from class org.sat4j.AbstractOptimizationLauncher
displayAnswer, 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

LanceurPseudo2007

public LanceurPseudo2007()

LanceurPseudo2007

public LanceurPseudo2007(ASolverFactory<IPBSolver> factory)
Method Detail

createReader

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

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?.


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