Package org.jacop.fz
Class Options
java.lang.Object
org.jacop.fz.Options
It parses the options provided to flatzinc parser/executable. It contains
information about all options used for a given flatzinc file.
- Version:
- 4.9
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) boolean
(package private) boolean
(package private) boolean
(package private) boolean
(package private) float
(package private) FileInputStream
(package private) String
(package private) double
(package private) boolean
(package private) boolean
(package private) int
(package private) String
(package private) double
(package private) boolean
(package private) boolean
(package private) boolean
(package private) double
(package private) int
(package private) boolean
(package private) boolean
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionboolean
It defines wheter additional search should use output variables only (false, default).boolean
debug()
It defines whether to use debug information print-out.void
It defines whether to run the solver.boolean
It defines whether search annotation can be ignored.boolean
getAll()
It returns true if the search for all solution has been requested.boolean
It defines whether to use bound consistency.float
getDecay()
getFile()
It returns the file input stream for the file containing flatzinc description.It returns the file name for the file containing flatzinc description.boolean
It returns true if the interval print mode has been requested.int
It returns the number of solutions the solver should search for.double
It returns precision defined in the command line.boolean
It returns true if the search statistics are to be displayed.int
It returns time out set for the search.boolean
It returns true if the verbose mode has been requested.boolean
It informs whether precision is defined.boolean
It returns true if the search must be run and false otherwise.boolean
useSat()
It defines whether sat is used.
-
Field Details
-
file
FileInputStream file -
fileName
String fileName -
all
boolean all -
verbose
boolean verbose -
statistics
boolean statistics -
freeSearch
boolean freeSearch -
time_out
int time_out -
number_solutions
int number_solutions -
interval
boolean interval -
precisionDefined
boolean precisionDefined -
precision
double precision -
format
double format -
boundConsistency
boolean boundConsistency -
runSearch
boolean runSearch -
use_sat
boolean use_sat -
complementary_search
boolean complementary_search -
decay
float decay -
step
double step -
debug
boolean debug -
outputFilename
String outputFilename
-
-
Constructor Details
-
Options
It constructs an Options object and parses all the parameters/options provided to flatzinc to jacop parser.- Parameters:
args
- arguments to flatzinc to jacop parser.
-
-
Method Details
-
getFile
It returns the file input stream for the file containing flatzinc description.- Returns:
- file containing flatzinc description.
-
getFileName
It returns the file name for the file containing flatzinc description.- Returns:
- file name containing flatzinc description.
-
getAll
public boolean getAll()It returns true if the search for all solution has been requested.- Returns:
- true if the search for all solution should take place, false otherwise.
-
getVerbose
public boolean getVerbose()It returns true if the verbose mode has been requested.- Returns:
- true if the verbose mode is active, false otherwise.
-
getStatistics
public boolean getStatistics()It returns true if the search statistics are to be displayed.- Returns:
- true if the search statistics are to be displayed, false otherwise.
-
getTimeOut
public int getTimeOut()It returns time out set for the search.- Returns:
- the value of the timeOut (in seconds), 0 if no time-out was set.
-
getNumberSolutions
public int getNumberSolutions()It returns the number of solutions the solver should search for.- Returns:
- the number of solutions the search should search for.
-
getInterval
public boolean getInterval()It returns true if the interval print mode has been requested.- Returns:
- true if the interval print mode is active, false otherwise.
-
doNotRunSearch
public void doNotRunSearch()It defines whether to run the solver. -
runSearch
public boolean runSearch()It returns true if the search must be run and false otherwise.- Returns:
- true if run search, false otherwise.
-
getBoundConsistency
public boolean getBoundConsistency()It defines whether to use bound consistency.- Returns:
- true if bound consistency prefered, false otherwise (defult).
-
getPrecision
public double getPrecision()It returns precision defined in the command line.- Returns:
- precision.
-
precision
public boolean precision()It informs whether precision is defined.- Returns:
- true if precision for floating point solver is defined
-
useSat
public boolean useSat()It defines whether sat is used.- Returns:
- true sat is used, false otherwise
-
debug
public boolean debug()It defines whether to use debug information print-out.- Returns:
- true if debugging information is printed, false otherwise
-
freeSearch
public boolean freeSearch()It defines whether search annotation can be ignored.- Returns:
- true if search annotation can be ignored
-
getOutputFilename
-
getDecay
public float getDecay() -
complementarySearch
public boolean complementarySearch()It defines wheter additional search should use output variables only (false, default). or should try to collect all non introduced variables (true).- Returns:
- additional search should use output variables only (false, default). or should try to collect all non introduced variables (true)
-