Gecode::FlatZinc::FlatZincOptions Class Reference
Options for running FlatZinc models. More...
#include <flatzinc.hh>
Public Member Functions | |
FlatZincOptions (const char *s) | |
Constructor. | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc). | |
unsigned int | solutions (void) const |
double | threads (void) const |
bool | free (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 |
Gecode::ScriptMode | mode (void) const |
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 | _parallel |
Use all cores. | |
Gecode::Driver::BoolOption | _free |
Use free search. | |
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. | |
Execution options | |
| |
Gecode::Driver::StringOption | _mode |
Script mode to run. |
Detailed Description
Options for running FlatZinc models.
Definition at line 138 of file flatzinc.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::FlatZincOptions::FlatZincOptions | ( | const char * | s | ) | [inline] |
Constructor.
Definition at line 160 of file flatzinc.hh.
Member Function Documentation
void Gecode::FlatZinc::FlatZincOptions::parse | ( | int & | argc, | |
char * | argv[] | |||
) | [inline] |
Parse options from arguments argv (number is argc).
Reimplemented from Gecode::BaseOptions.
Definition at line 186 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::solutions | ( | void | ) | const [inline] |
Definition at line 194 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::threads | ( | void | ) | const [inline] |
Definition at line 195 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::free | ( | void | ) | const [inline] |
Definition at line 196 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::c_d | ( | void | ) | const [inline] |
Definition at line 197 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::a_d | ( | void | ) | const [inline] |
Definition at line 198 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::node | ( | void | ) | const [inline] |
Definition at line 199 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::fail | ( | void | ) | const [inline] |
Definition at line 200 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::time | ( | void | ) | const [inline] |
Definition at line 201 of file flatzinc.hh.
Gecode::ScriptMode Gecode::FlatZinc::FlatZincOptions::mode | ( | void | ) | const [inline] |
Definition at line 202 of file flatzinc.hh.
Member Data Documentation
How many solutions.
Definition at line 142 of file flatzinc.hh.
Return all solutions.
Definition at line 143 of file flatzinc.hh.
How many threads to use.
Definition at line 144 of file flatzinc.hh.
Use all cores.
Definition at line 145 of file flatzinc.hh.
Use free search.
Definition at line 146 of file flatzinc.hh.
Copy recomputation distance.
Definition at line 147 of file flatzinc.hh.
Adaptive recomputation distance.
Definition at line 148 of file flatzinc.hh.
Cutoff for number of nodes.
Definition at line 149 of file flatzinc.hh.
Cutoff for number of failures.
Definition at line 150 of file flatzinc.hh.
Cutoff for time.
Definition at line 151 of file flatzinc.hh.
Script mode to run.
Definition at line 156 of file flatzinc.hh.
The documentation for this class was generated from the following file:
- gecode/flatzinc.hh (Revision: 9995)