org.sat4j.csp
Class CSPLauncher
java.lang.Object
org.sat4j.AbstractLauncher
org.sat4j.csp.CSPLauncher
- All Implemented Interfaces:
- Serializable
public class CSPLauncher
- extends AbstractLauncher
- See Also:
- Serialized Form
Methods inherited from class org.sat4j.AbstractLauncher |
displayHeader, displayResult, getBeginTime, getExitCode, getLogWriter, getReader, log, readProblem, run, setExitCode, setLogWriter, setSilent, showAvailableSolvers, solve |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CSPLauncher
public CSPLauncher()
configureSolver
protected ISolver configureSolver(String[] args)
- Specified by:
configureSolver
in class AbstractLauncher
createReader
protected Reader createReader(ISolver aSolver,
String problemname)
- Specified by:
createReader
in class AbstractLauncher
main
public static void main(String[] args)
displayLicense
public void displayLicense()
- Overrides:
displayLicense
in class AbstractLauncher
usage
public void usage()
- Specified by:
usage
in class AbstractLauncher
getInstanceName
protected String getInstanceName(String[] args)
- Specified by:
getInstanceName
in class AbstractLauncher
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.