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 230 of file flatzinc.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::FlatZincOptions::FlatZincOptions | ( | const char * | s | ) | [inline] |
Constructor.
Definition at line 262 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 311 of file flatzinc.hh.
virtual void Gecode::FlatZinc::FlatZincOptions::help | ( | void | ) | [inline, virtual] |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 320 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincOptions::solutions | ( | void | ) | const [inline] |
Definition at line 327 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::allSolutions | ( | void | ) | const [inline] |
Definition at line 328 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::threads | ( | void | ) | const [inline] |
Definition at line 329 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::free | ( | void | ) | const [inline] |
Definition at line 330 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::c_d | ( | void | ) | const [inline] |
Definition at line 331 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::a_d | ( | void | ) | const [inline] |
Definition at line 332 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::node | ( | void | ) | const [inline] |
Definition at line 333 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::fail | ( | void | ) | const [inline] |
Definition at line 334 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::time | ( | void | ) | const [inline] |
Definition at line 335 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincOptions::seed | ( | void | ) | const [inline] |
Definition at line 336 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::step | ( | void | ) | const [inline] |
Definition at line 337 of file flatzinc.hh.
const char* Gecode::FlatZinc::FlatZincOptions::output | ( | void | ) | const [inline] |
Definition at line 338 of file flatzinc.hh.
Gecode::ScriptMode Gecode::FlatZinc::FlatZincOptions::mode | ( | void | ) | const [inline] |
Definition at line 339 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::decay | ( | void | ) | const [inline] |
Definition at line 343 of file flatzinc.hh.
RestartMode Gecode::FlatZinc::FlatZincOptions::restart | ( | void | ) | const [inline] |
Definition at line 344 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::restart_base | ( | void | ) | const [inline] |
Definition at line 347 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::restart_scale | ( | void | ) | const [inline] |
Definition at line 348 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::nogoods | ( | void | ) | const [inline] |
Definition at line 349 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::nogoods_limit | ( | void | ) | const [inline] |
Definition at line 350 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::interrupt | ( | void | ) | const [inline] |
Definition at line 351 of file flatzinc.hh.
void Gecode::FlatZinc::FlatZincOptions::allSolutions | ( | bool | b | ) | [inline] |
Definition at line 353 of file flatzinc.hh.
Member Data Documentation
How many solutions.
Definition at line 234 of file flatzinc.hh.
Return all solutions.
Definition at line 235 of file flatzinc.hh.
How many threads to use.
Definition at line 236 of file flatzinc.hh.
Use free search.
Definition at line 237 of file flatzinc.hh.
Decay option.
Definition at line 238 of file flatzinc.hh.
Copy recomputation distance.
Definition at line 239 of file flatzinc.hh.
Adaptive recomputation distance.
Definition at line 240 of file flatzinc.hh.
Cutoff for number of nodes.
Definition at line 241 of file flatzinc.hh.
Cutoff for number of failures.
Definition at line 242 of file flatzinc.hh.
Cutoff for time.
Definition at line 243 of file flatzinc.hh.
Random seed.
Definition at line 244 of file flatzinc.hh.
Restart method option.
Definition at line 245 of file flatzinc.hh.
Restart base.
Definition at line 246 of file flatzinc.hh.
Restart scale factor.
Definition at line 247 of file flatzinc.hh.
Whether to use no-goods.
Definition at line 248 of file flatzinc.hh.
Depth limit for extracting no-goods.
Definition at line 249 of file flatzinc.hh.
Whether to catch SIGINT.
Definition at line 250 of file flatzinc.hh.
Step option.
Definition at line 251 of file flatzinc.hh.
Script mode to run.
Definition at line 256 of file flatzinc.hh.
Emit statistics.
Definition at line 257 of file flatzinc.hh.
Output file.
Definition at line 258 of file flatzinc.hh.
The documentation for this class was generated from the following file: