Options for running FlatZinc models More...
#include <flatzinc.hh>
Public Types | |
enum | SearchOptions { FZ_SEARCH_BAB, FZ_SEARCH_RESTART } |
Public Member Functions | |
FlatZincOptions (const char *s) | |
Constructor. | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc) | |
virtual void | help (void) |
Print help text. | |
unsigned int | solutions (void) const |
bool | allSolutions (void) const |
double | threads (void) const |
bool | free (void) const |
SearchOptions | search (void) const |
unsigned int | c_d (void) const |
unsigned int | a_d (void) const |
unsigned int | node (void) const |
unsigned int | fail (void) const |
unsigned int | time (void) const |
int | seed (void) const |
const char * | output (void) const |
Gecode::ScriptMode | mode (void) const |
![]() | |
BaseOptions (const char *s) | |
Initialize options for script with name s. | |
void | add (Driver::BaseOption &o) |
Add new option o. | |
const char * | name (void) const |
Return name of script. | |
void | name (const char *) |
Set name of script. | |
virtual | ~BaseOptions (void) |
Destructor. |
Search options | |
Gecode::Driver::UnsignedIntOption | _solutions |
How many solutions. | |
Gecode::Driver::BoolOption | _allSolutions |
Return all solutions. | |
Gecode::Driver::DoubleOption | _threads |
How many threads to use. | |
Gecode::Driver::BoolOption | _free |
Use free search. | |
Gecode::Driver::StringOption | _search |
Search engine variant. | |
Gecode::Driver::UnsignedIntOption | _c_d |
Copy recomputation distance. | |
Gecode::Driver::UnsignedIntOption | _a_d |
Adaptive recomputation distance. | |
Gecode::Driver::UnsignedIntOption | _node |
Cutoff for number of nodes. | |
Gecode::Driver::UnsignedIntOption | _fail |
Cutoff for number of failures. | |
Gecode::Driver::UnsignedIntOption | _time |
Cutoff for time. | |
Gecode::Driver::IntOption | _seed |
Random seed. |
Execution options | |
Gecode::Driver::StringOption | _mode |
Script mode to run. | |
Gecode::Driver::BoolOption | _stat |
Emit statistics. | |
Gecode::Driver::StringValueOption | _output |
Output file. |
Additional Inherited Members | |
![]() | |
Driver::BaseOption * | fst |
First registered option. | |
Driver::BaseOption * | lst |
Last registered option. | |
const char * | _name |
Script name. |
Options for running FlatZinc models
Definition at line 155 of file flatzinc.hh.
Definition at line 179 of file flatzinc.hh.
|
inline |
Constructor.
Definition at line 184 of file flatzinc.hh.
|
inline |
Parse options from arguments argv (number is argc)
Reimplemented from Gecode::BaseOptions.
Definition at line 217 of file flatzinc.hh.
|
inlinevirtual |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 226 of file flatzinc.hh.
|
inline |
Definition at line 233 of file flatzinc.hh.
|
inline |
Definition at line 234 of file flatzinc.hh.
|
inline |
Definition at line 235 of file flatzinc.hh.
|
inline |
Definition at line 236 of file flatzinc.hh.
|
inline |
Definition at line 237 of file flatzinc.hh.
|
inline |
Definition at line 240 of file flatzinc.hh.
|
inline |
Definition at line 241 of file flatzinc.hh.
|
inline |
Definition at line 242 of file flatzinc.hh.
|
inline |
Definition at line 243 of file flatzinc.hh.
|
inline |
Definition at line 244 of file flatzinc.hh.
|
inline |
Definition at line 245 of file flatzinc.hh.
|
inline |
Definition at line 246 of file flatzinc.hh.
|
inline |
Definition at line 247 of file flatzinc.hh.
|
protected |
How many solutions.
Definition at line 159 of file flatzinc.hh.
|
protected |
Return all solutions.
Definition at line 160 of file flatzinc.hh.
|
protected |
How many threads to use.
Definition at line 161 of file flatzinc.hh.
|
protected |
Use free search.
Definition at line 162 of file flatzinc.hh.
|
protected |
Search engine variant.
Definition at line 163 of file flatzinc.hh.
|
protected |
Copy recomputation distance.
Definition at line 164 of file flatzinc.hh.
|
protected |
Adaptive recomputation distance.
Definition at line 165 of file flatzinc.hh.
|
protected |
Cutoff for number of nodes.
Definition at line 166 of file flatzinc.hh.
|
protected |
Cutoff for number of failures.
Definition at line 167 of file flatzinc.hh.
|
protected |
Cutoff for time.
Definition at line 168 of file flatzinc.hh.
|
protected |
Random seed.
Definition at line 169 of file flatzinc.hh.
|
protected |
Script mode to run.
Definition at line 174 of file flatzinc.hh.
|
protected |
Emit statistics.
Definition at line 175 of file flatzinc.hh.
|
protected |
Output file.
Definition at line 176 of file flatzinc.hh.