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 |
void | restart (RestartMode rm) |
double | restart_base (void) const |
void | restart_base (double d) |
unsigned int | restart_scale (void) const |
void | restart_scale (int i) |
bool | nogoods (void) const |
unsigned int | nogoods_limit (void) const |
bool | interrupt (void) const |
int | profiler_id (void) const |
unsigned int | profiler_port (void) const |
bool | profiler_info (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. | |
Gecode::Driver::IntOption | _profiler_id |
Use this execution id for the CP-profiler. | |
Gecode::Driver::UnsignedIntOption | _profiler_port |
Connect to this port. | |
Gecode::Driver::BoolOption | _profiler_info |
Whether solution information should be sent to the CP-profiler. |
Detailed Description
Options for running FlatZinc models
Definition at line 226 of file flatzinc.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::FlatZincOptions::FlatZincOptions | ( | const char * | s | ) | [inline] |
Constructor.
Definition at line 267 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 330 of file flatzinc.hh.
virtual void Gecode::FlatZinc::FlatZincOptions::help | ( | void | ) | [inline, virtual] |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 339 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincOptions::solutions | ( | void | ) | const [inline] |
Definition at line 346 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::allSolutions | ( | void | ) | const [inline] |
Definition at line 347 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::threads | ( | void | ) | const [inline] |
Definition at line 348 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::free | ( | void | ) | const [inline] |
Definition at line 349 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::c_d | ( | void | ) | const [inline] |
Definition at line 350 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::a_d | ( | void | ) | const [inline] |
Definition at line 351 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::node | ( | void | ) | const [inline] |
Definition at line 352 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::fail | ( | void | ) | const [inline] |
Definition at line 353 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::time | ( | void | ) | const [inline] |
Definition at line 354 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincOptions::seed | ( | void | ) | const [inline] |
Definition at line 355 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::step | ( | void | ) | const [inline] |
Definition at line 356 of file flatzinc.hh.
const char* Gecode::FlatZinc::FlatZincOptions::output | ( | void | ) | const [inline] |
Definition at line 357 of file flatzinc.hh.
Gecode::ScriptMode Gecode::FlatZinc::FlatZincOptions::mode | ( | void | ) | const [inline] |
Definition at line 359 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::decay | ( | void | ) | const [inline] |
Definition at line 363 of file flatzinc.hh.
RestartMode Gecode::FlatZinc::FlatZincOptions::restart | ( | void | ) | const [inline] |
Definition at line 364 of file flatzinc.hh.
void Gecode::FlatZinc::FlatZincOptions::restart | ( | RestartMode | rm | ) | [inline] |
Definition at line 367 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::restart_base | ( | void | ) | const [inline] |
Definition at line 370 of file flatzinc.hh.
void Gecode::FlatZinc::FlatZincOptions::restart_base | ( | double | d | ) | [inline] |
Definition at line 371 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::restart_scale | ( | void | ) | const [inline] |
Definition at line 372 of file flatzinc.hh.
void Gecode::FlatZinc::FlatZincOptions::restart_scale | ( | int | i | ) | [inline] |
Definition at line 373 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::nogoods | ( | void | ) | const [inline] |
Definition at line 374 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::nogoods_limit | ( | void | ) | const [inline] |
Definition at line 375 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::interrupt | ( | void | ) | const [inline] |
Definition at line 376 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincOptions::profiler_id | ( | void | ) | const [inline] |
Definition at line 380 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::profiler_port | ( | void | ) | const [inline] |
Definition at line 381 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::profiler_info | ( | void | ) | const [inline] |
Definition at line 382 of file flatzinc.hh.
void Gecode::FlatZinc::FlatZincOptions::allSolutions | ( | bool | b | ) | [inline] |
Definition at line 386 of file flatzinc.hh.
Member Data Documentation
How many solutions.
Definition at line 230 of file flatzinc.hh.
Return all solutions.
Definition at line 231 of file flatzinc.hh.
How many threads to use.
Definition at line 232 of file flatzinc.hh.
Use free search.
Definition at line 233 of file flatzinc.hh.
Decay option.
Definition at line 234 of file flatzinc.hh.
Copy recomputation distance.
Definition at line 235 of file flatzinc.hh.
Adaptive recomputation distance.
Definition at line 236 of file flatzinc.hh.
Cutoff for number of nodes.
Definition at line 237 of file flatzinc.hh.
Cutoff for number of failures.
Definition at line 238 of file flatzinc.hh.
Cutoff for time.
Definition at line 239 of file flatzinc.hh.
Random seed.
Definition at line 240 of file flatzinc.hh.
Restart method option.
Definition at line 241 of file flatzinc.hh.
Restart base.
Definition at line 242 of file flatzinc.hh.
Restart scale factor.
Definition at line 243 of file flatzinc.hh.
Whether to use no-goods.
Definition at line 244 of file flatzinc.hh.
Depth limit for extracting no-goods.
Definition at line 245 of file flatzinc.hh.
Whether to catch SIGINT.
Definition at line 246 of file flatzinc.hh.
Step option.
Definition at line 247 of file flatzinc.hh.
Script mode to run.
Definition at line 252 of file flatzinc.hh.
Emit statistics.
Definition at line 253 of file flatzinc.hh.
Output file.
Definition at line 254 of file flatzinc.hh.
Use this execution id for the CP-profiler.
Definition at line 258 of file flatzinc.hh.
Connect to this port.
Definition at line 259 of file flatzinc.hh.
Whether solution information should be sent to the CP-profiler.
Definition at line 260 of file flatzinc.hh.
The documentation for this class was generated from the following file:
- gecode/flatzinc.hh