Options for running FlatZinc models More...
#include <flatzinc.hh>
Execution options | |
Gecode::Driver::StringOption | _mode |
Script mode to run. More... | |
Gecode::Driver::BoolOption | _stat |
Emit statistics. More... | |
Gecode::Driver::StringValueOption | _output |
Output file. More... | |
FlatZincOptions (const char *s) | |
Constructor. More... | |
void | parse (int &argc, char *argv[]) |
Script mode to run. More... | |
virtual void | help (void) |
Script mode to run. More... | |
int | solutions (void) const |
Script mode to run. More... | |
bool | allSolutions (void) const |
Script mode to run. More... | |
double | threads (void) const |
Script mode to run. More... | |
bool | free (void) const |
Script mode to run. More... | |
unsigned int | c_d (void) const |
Script mode to run. More... | |
unsigned int | a_d (void) const |
Script mode to run. More... | |
unsigned int | node (void) const |
Script mode to run. More... | |
unsigned int | fail (void) const |
Script mode to run. More... | |
unsigned int | time (void) const |
Script mode to run. More... | |
int | seed (void) const |
Script mode to run. More... | |
double | step (void) const |
Script mode to run. More... | |
const char * | output (void) const |
Script mode to run. More... | |
Gecode::ScriptMode | mode (void) const |
Script mode to run. More... | |
double | decay (void) const |
Script mode to run. More... | |
RestartMode | restart (void) const |
Script mode to run. More... | |
double | restart_base (void) const |
Script mode to run. More... | |
unsigned int | restart_scale (void) const |
Script mode to run. More... | |
bool | nogoods (void) const |
Script mode to run. More... | |
unsigned int | nogoods_limit (void) const |
Script mode to run. More... | |
bool | interrupt (void) const |
Script mode to run. More... | |
void | allSolutions (bool b) |
Script mode to run. More... | |
Additional Inherited Members | |
![]() | |
BaseOptions (const char *s) | |
Initialize options for script with name s. More... | |
void | add (Driver::BaseOption &o) |
Add new option o. More... | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc) More... | |
const char * | name (void) const |
Return name of script. More... | |
void | name (const char *) |
Set name of script. More... | |
virtual | ~BaseOptions (void) |
Destructor. More... | |
![]() | |
Driver::BaseOption * | fst |
First registered option. More... | |
Driver::BaseOption * | lst |
Last registered option. More... | |
const char * | _name |
Script name. More... | |
Options for running FlatZinc models
Definition at line 230 of file flatzinc.hh.
|
inline |
Constructor.
Definition at line 262 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 311 of file flatzinc.hh.
|
inlinevirtual |
Script mode to run.
Reimplemented from Gecode::BaseOptions.
Definition at line 320 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 327 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 328 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 329 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 330 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 331 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 332 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 333 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 334 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 335 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 336 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 337 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 338 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 339 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 343 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 344 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 347 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 348 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 349 of file flatzinc.hh.
|
inline |
Script mode to run.
Definition at line 350 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 353 of file flatzinc.hh.
|
protected |
How many solutions.
Definition at line 234 of file flatzinc.hh.
|
protected |
Return all solutions.
Definition at line 235 of file flatzinc.hh.
|
protected |
How many threads to use.
Definition at line 236 of file flatzinc.hh.
|
protected |
Use free search.
Definition at line 237 of file flatzinc.hh.
|
protected |
Decay option.
Definition at line 238 of file flatzinc.hh.
|
protected |
Copy recomputation distance.
Definition at line 239 of file flatzinc.hh.
|
protected |
Adaptive recomputation distance.
Definition at line 240 of file flatzinc.hh.
|
protected |
Cutoff for number of nodes.
Definition at line 241 of file flatzinc.hh.
|
protected |
Cutoff for number of failures.
Definition at line 242 of file flatzinc.hh.
|
protected |
Cutoff for time.
Definition at line 243 of file flatzinc.hh.
|
protected |
Random seed.
Definition at line 244 of file flatzinc.hh.
|
protected |
Restart method option.
Definition at line 245 of file flatzinc.hh.
|
protected |
Restart base.
Definition at line 246 of file flatzinc.hh.
|
protected |
Restart scale factor.
Definition at line 247 of file flatzinc.hh.
|
protected |
Whether to use no-goods.
Definition at line 248 of file flatzinc.hh.
|
protected |
Depth limit for extracting no-goods.
Definition at line 249 of file flatzinc.hh.
|
protected |
Whether to catch SIGINT.
Definition at line 250 of file flatzinc.hh.
|
protected |
Step option.
Definition at line 251 of file flatzinc.hh.
|
protected |
Script mode to run.
Definition at line 256 of file flatzinc.hh.
|
protected |
Emit statistics.
Definition at line 257 of file flatzinc.hh.
|
protected |
Output file.
Definition at line 258 of file flatzinc.hh.