Options for running FlatZinc models More...
#include <flatzinc.hh>
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. | |
FlatZincOptions (const char *s) | |
Constructor. | |
void | parse (int &argc, char *argv[]) |
Script mode to run. | |
virtual void | help (void) |
Script mode to run. | |
int | solutions (void) const |
Script mode to run. | |
bool | allSolutions (void) const |
Script mode to run. | |
double | threads (void) const |
Script mode to run. | |
bool | free (void) const |
Script mode to run. | |
unsigned int | c_d (void) const |
Script mode to run. | |
unsigned int | a_d (void) const |
Script mode to run. | |
unsigned int | node (void) const |
Script mode to run. | |
unsigned int | fail (void) const |
Script mode to run. | |
unsigned int | time (void) const |
Script mode to run. | |
int | seed (void) const |
Script mode to run. | |
double | step (void) const |
Script mode to run. | |
const char * | output (void) const |
Script mode to run. | |
Gecode::ScriptMode | mode (void) const |
Script mode to run. | |
double | decay (void) const |
Script mode to run. | |
RestartMode | restart (void) const |
Script mode to run. | |
void | restart (RestartMode rm) |
Script mode to run. | |
double | restart_base (void) const |
Script mode to run. | |
void | restart_base (double d) |
Script mode to run. | |
unsigned int | restart_scale (void) const |
Script mode to run. | |
void | restart_scale (int i) |
Script mode to run. | |
bool | nogoods (void) const |
Script mode to run. | |
unsigned int | nogoods_limit (void) const |
Script mode to run. | |
bool | interrupt (void) const |
Script mode to run. | |
int | profiler_id (void) const |
Script mode to run. | |
unsigned int | profiler_port (void) const |
Script mode to run. | |
bool | profiler_info (void) const |
Script mode to run. | |
void | allSolutions (bool b) |
Script mode to run. |
Additional Inherited Members | |
Public Member Functions inherited from Gecode::BaseOptions | |
BaseOptions (const char *s) | |
Initialize options for script with name s. | |
void | add (Driver::BaseOption &o) |
Add new option o. | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc) | |
const char * | name (void) const |
Return name of script. | |
void | name (const char *) |
Set name of script. | |
virtual | ~BaseOptions (void) |
Destructor. | |
Protected Attributes inherited from Gecode::BaseOptions | |
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 226 of file flatzinc.hh.
|
inline |
Constructor.
Definition at line 268 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 332 of file flatzinc.hh.
|
inlinevirtual |
Script mode to run.
Reimplemented from Gecode::BaseOptions.
Definition at line 344 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 351 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 352 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 353 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 354 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 355 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 356 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 357 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 358 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 359 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 360 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 361 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 362 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 364 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 368 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 369 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 372 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 375 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 376 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 377 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 378 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 379 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 380 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 381 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 385 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 386 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 387 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 391 of file flatzinc.hh.
|
protected |
How many solutions.
Definition at line 230 of file flatzinc.hh.
|
protected |
Return all solutions.
Definition at line 231 of file flatzinc.hh.
|
protected |
How many threads to use.
Definition at line 232 of file flatzinc.hh.
|
protected |
Use free search.
Definition at line 233 of file flatzinc.hh.
|
protected |
Decay option.
Definition at line 234 of file flatzinc.hh.
|
protected |
Copy recomputation distance.
Definition at line 235 of file flatzinc.hh.
|
protected |
Adaptive recomputation distance.
Definition at line 236 of file flatzinc.hh.
|
protected |
Cutoff for number of nodes.
Definition at line 237 of file flatzinc.hh.
|
protected |
Cutoff for number of failures.
Definition at line 238 of file flatzinc.hh.
|
protected |
Cutoff for time.
Definition at line 239 of file flatzinc.hh.
|
protected |
Cutoff for time (for compatibility with flatzinc command line)
Definition at line 240 of file flatzinc.hh.
|
protected |
Random seed.
Definition at line 241 of file flatzinc.hh.
|
protected |
Restart method option.
Definition at line 242 of file flatzinc.hh.
|
protected |
Restart base.
Definition at line 243 of file flatzinc.hh.
|
protected |
Restart scale factor.
Definition at line 244 of file flatzinc.hh.
|
protected |
Whether to use no-goods.
Definition at line 245 of file flatzinc.hh.
|
protected |
Depth limit for extracting no-goods.
Definition at line 246 of file flatzinc.hh.
|
protected |
Whether to catch SIGINT.
Definition at line 247 of file flatzinc.hh.
|
protected |
Step option.
Definition at line 248 of file flatzinc.hh.
|
protected |
Script mode to run.
Definition at line 253 of file flatzinc.hh.
|
protected |
Emit statistics.
Definition at line 254 of file flatzinc.hh.
|
protected |
Output file.
Definition at line 255 of file flatzinc.hh.
|
protected |
Use this execution id for the CP-profiler.
Definition at line 259 of file flatzinc.hh.
|
protected |
Connect to this port.
Definition at line 260 of file flatzinc.hh.
|
protected |
Whether solution information should be sent to the CP-profiler.
Definition at line 261 of file flatzinc.hh.