public class Options extends Object
Constructor and Description |
---|
Options(String[] args)
It constructs an Options object and parses all the parameters/options provided
to flatzinc to jacop parser.
|
Modifier and Type | Method and Description |
---|---|
boolean |
complementarySearch()
It defines wheter additional search should use output variables only (false, default).
|
boolean |
debug()
It defines whether to use debug information print-out.
|
void |
doNotRunSearch()
It defines whether to run the solver.
|
boolean |
freeSearch()
It defines whether search annotation can be ignored.
|
boolean |
getAll()
It returns true if the search for all solution has been requested.
|
boolean |
getBoundConsistency()
It defines whether to use bound consistency.
|
float |
getDecay() |
FileInputStream |
getFile()
It returns the file input stream for the file containing flatzinc description.
|
String |
getFileName()
It returns the file name for the file containing flatzinc description.
|
boolean |
getInterval()
It returns true if the interval print mode has been requested.
|
int |
getNumberSolutions()
It returns the number of solutions the solver should search for.
|
String |
getOutputFilename() |
double |
getPrecision()
It returns precision defined in the command line.
|
boolean |
getStatistics()
It returns true if the search statistics are to be displayed.
|
int |
getTimeOut()
It returns time out set for the search.
|
boolean |
getVerbose()
It returns true if the verbose mode has been requested.
|
boolean |
precision()
It informs whether precision is defined.
|
boolean |
runSearch()
It returns true if the search must be run and false otherwise.
|
boolean |
useSat()
It defines whether sat is used.
|
public Options(String[] args)
args
- arguments to flatzinc to jacop parser.public FileInputStream getFile()
public String getFileName()
public boolean getAll()
public boolean getVerbose()
public boolean getStatistics()
public int getTimeOut()
public int getNumberSolutions()
public boolean getInterval()
public void doNotRunSearch()
public boolean runSearch()
public boolean getBoundConsistency()
public double getPrecision()
public boolean precision()
public boolean useSat()
public boolean debug()
public boolean freeSearch()
public String getOutputFilename()
public float getDecay()
public boolean complementarySearch()
Copyright © 2022. All rights reserved.