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). | |
virtual void | help (void) |
Print help text. | |
int | solutions (void) const |
bool | allSolutions (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 |
int | seed (void) const |
double | step (void) const |
const char * | output (void) const |
Gecode::ScriptMode | mode (void) const |
double | decay (void) const |
RestartMode | restart (void) const |
double | restart_base (void) const |
unsigned int | restart_scale (void) const |
bool | nogoods (void) const |
unsigned int | nogoods_limit (void) const |
bool | interrupt (void) const |
void | allSolutions (bool b) |
Search options | |
| |
Gecode::Driver::IntOption | _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::DoubleOption | _decay |
Decay option. | |
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. | |
Gecode::Driver::StringOption | _restart |
Restart method option. | |
Gecode::Driver::DoubleOption | _r_base |
Restart base. | |
Gecode::Driver::UnsignedIntOption | _r_scale |
Restart scale factor. | |
Gecode::Driver::BoolOption | _nogoods |
Whether to use no-goods. | |
Gecode::Driver::UnsignedIntOption | _nogoods_limit |
Depth limit for extracting no-goods. | |
Gecode::Driver::BoolOption | _interrupt |
Whether to catch SIGINT. | |
Gecode::Driver::DoubleOption | _step |
Step option. | |
Execution options | |
| |
Gecode::Driver::StringOption | _mode |
Script mode to run. | |
Gecode::Driver::BoolOption | _stat |
Emit statistics. | |
Gecode::Driver::StringValueOption | _output |
Output file. |
Detailed Description
Options for running FlatZinc models
Definition at line 205 of file flatzinc.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::FlatZincOptions::FlatZincOptions | ( | const char * | s | ) | [inline] |
Constructor.
Definition at line 237 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).
The options are parsed from position one onwards until no more options are detected. After parsing, the parsed arguments have been removed.
Reimplemented from Gecode::BaseOptions.
Definition at line 286 of file flatzinc.hh.
virtual void Gecode::FlatZinc::FlatZincOptions::help | ( | void | ) | [inline, virtual] |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 295 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincOptions::solutions | ( | void | ) | const [inline] |
Definition at line 302 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::allSolutions | ( | void | ) | const [inline] |
Definition at line 303 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::threads | ( | void | ) | const [inline] |
Definition at line 304 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::free | ( | void | ) | const [inline] |
Definition at line 305 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::c_d | ( | void | ) | const [inline] |
Definition at line 306 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::a_d | ( | void | ) | const [inline] |
Definition at line 307 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::node | ( | void | ) | const [inline] |
Definition at line 308 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::fail | ( | void | ) | const [inline] |
Definition at line 309 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::time | ( | void | ) | const [inline] |
Definition at line 310 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincOptions::seed | ( | void | ) | const [inline] |
Definition at line 311 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::step | ( | void | ) | const [inline] |
Definition at line 312 of file flatzinc.hh.
const char* Gecode::FlatZinc::FlatZincOptions::output | ( | void | ) | const [inline] |
Definition at line 313 of file flatzinc.hh.
Gecode::ScriptMode Gecode::FlatZinc::FlatZincOptions::mode | ( | void | ) | const [inline] |
Definition at line 314 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::decay | ( | void | ) | const [inline] |
Definition at line 318 of file flatzinc.hh.
RestartMode Gecode::FlatZinc::FlatZincOptions::restart | ( | void | ) | const [inline] |
Definition at line 319 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::restart_base | ( | void | ) | const [inline] |
Definition at line 322 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::restart_scale | ( | void | ) | const [inline] |
Definition at line 323 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::nogoods | ( | void | ) | const [inline] |
Definition at line 324 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::nogoods_limit | ( | void | ) | const [inline] |
Definition at line 325 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::interrupt | ( | void | ) | const [inline] |
Definition at line 326 of file flatzinc.hh.
void Gecode::FlatZinc::FlatZincOptions::allSolutions | ( | bool | b | ) | [inline] |
Definition at line 328 of file flatzinc.hh.
Member Data Documentation
How many solutions.
Definition at line 209 of file flatzinc.hh.
Return all solutions.
Definition at line 210 of file flatzinc.hh.
How many threads to use.
Definition at line 211 of file flatzinc.hh.
Use free search.
Definition at line 212 of file flatzinc.hh.
Decay option.
Definition at line 213 of file flatzinc.hh.
Copy recomputation distance.
Definition at line 214 of file flatzinc.hh.
Adaptive recomputation distance.
Definition at line 215 of file flatzinc.hh.
Cutoff for number of nodes.
Definition at line 216 of file flatzinc.hh.
Cutoff for number of failures.
Definition at line 217 of file flatzinc.hh.
Cutoff for time.
Definition at line 218 of file flatzinc.hh.
Random seed.
Definition at line 219 of file flatzinc.hh.
Restart method option.
Definition at line 220 of file flatzinc.hh.
Restart base.
Definition at line 221 of file flatzinc.hh.
Restart scale factor.
Definition at line 222 of file flatzinc.hh.
Whether to use no-goods.
Definition at line 223 of file flatzinc.hh.
Depth limit for extracting no-goods.
Definition at line 224 of file flatzinc.hh.
Whether to catch SIGINT.
Definition at line 225 of file flatzinc.hh.
Step option.
Definition at line 226 of file flatzinc.hh.
Script mode to run.
Definition at line 231 of file flatzinc.hh.
Emit statistics.
Definition at line 232 of file flatzinc.hh.
Output file.
Definition at line 233 of file flatzinc.hh.
The documentation for this class was generated from the following file: