Package org.jacop.jasat.core
Class RunSolver
- java.lang.Object
-
- org.jacop.jasat.core.RunSolver
-
public final class RunSolver extends java.lang.Object
The main class for the SAT solver when it is used standalone (without being controlled by a master).- Version:
- 4.7
-
-
Field Summary
Fields Modifier and Type Field Description private static OptParse.OptHandler<Config>
debugHandler
private static java.lang.String
filename
private static OptParse.OptHandler<Config>
helpHandler
private static java.lang.String
helpString
private static OptParse<Config>
parser
private static OptParse.OptHandler<Config>
timeoutHandler
private static OptParse.OptHandler<Config>
verboseHandler
-
Constructor Summary
Constructors Constructor Description RunSolver()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
launch the solver on a file, given by command line parametersprivate static void
protectOnTermination(Core core)
on forced exit, print solutionprivate static java.io.InputStream
readFile()
parse the file which name is filename, and returns a stream on success
-
-
-
Field Detail
-
filename
private static java.lang.String filename
-
helpString
private static java.lang.String helpString
-
verboseHandler
private static OptParse.OptHandler<Config> verboseHandler
-
helpHandler
private static OptParse.OptHandler<Config> helpHandler
-
timeoutHandler
private static OptParse.OptHandler<Config> timeoutHandler
-
debugHandler
private static OptParse.OptHandler<Config> debugHandler
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
launch the solver on a file, given by command line parameters- Parameters:
args
- command line arguments
-
readFile
private static java.io.InputStream readFile()
parse the file which name is filename, and returns a stream on success- Returns:
- an input stream for the content of the file
-
protectOnTermination
private static void protectOnTermination(Core core)
on forced exit, print solution
-
-