public class Options
extends java.lang.Object
Constructor and Description |
---|
Options(java.lang.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 |
getAll()
It returns true if the search for all solution has been requested.
|
java.io.FileInputStream |
getFile()
It returns the file input stream for the file containing flatzinc description.
|
int |
getNumberSolutions()
It returns the number of solutions the solver should search for.
|
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.
|
public Options(java.lang.String[] args)
args
- arguments to flatzinc to jacop parser.public java.io.FileInputStream getFile()
public boolean getAll()
public boolean getVerbose()
public boolean getStatistics()
public int getTimeOut()
public int getNumberSolutions()