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 |
---|---|
void |
doNotRunSearch()
It defines whether to run the solver.
|
boolean |
getAll()
It returns true if the search for all solution has been requested.
|
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.
|
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 defines precision.
|
boolean |
runSearch()
It returns true if the search must be run and false otherwise.
|
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 double getPrecision()
public boolean precision()
Copyright © 2015. All rights reserved.