Options for running FlatZinc models More...
#include <flatzinc.hh>
Public Member Functions | |
FlatZincOptions (const char *s) | |
Constructor. More... | |
void | parse (int &argc, char *argv[]) |
virtual void | help (void) |
Print help text. More... | |
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 |
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) |
![]() | |
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... | |
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... | |
Additional Inherited Members | |
![]() | |
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 205 of file flatzinc.hh.
|
inline |
Constructor.
Definition at line 236 of file flatzinc.hh.
|
inline |
Definition at line 283 of file flatzinc.hh.
|
inlinevirtual |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 292 of file flatzinc.hh.
|
inline |
Definition at line 299 of file flatzinc.hh.
|
inline |
Definition at line 300 of file flatzinc.hh.
|
inline |
Definition at line 301 of file flatzinc.hh.
|
inline |
Definition at line 302 of file flatzinc.hh.
|
inline |
Definition at line 303 of file flatzinc.hh.
|
inline |
Definition at line 304 of file flatzinc.hh.
|
inline |
Definition at line 305 of file flatzinc.hh.
|
inline |
Definition at line 306 of file flatzinc.hh.
|
inline |
Definition at line 307 of file flatzinc.hh.
|
inline |
Definition at line 308 of file flatzinc.hh.
|
inline |
Definition at line 309 of file flatzinc.hh.
|
inline |
Definition at line 310 of file flatzinc.hh.
|
inline |
Definition at line 314 of file flatzinc.hh.
|
inline |
Definition at line 315 of file flatzinc.hh.
|
inline |
Definition at line 318 of file flatzinc.hh.
|
inline |
Definition at line 319 of file flatzinc.hh.
|
inline |
Definition at line 320 of file flatzinc.hh.
|
inline |
Definition at line 321 of file flatzinc.hh.
|
inline |
Definition at line 322 of file flatzinc.hh.
|
inline |
Definition at line 324 of file flatzinc.hh.
|
protected |
How many solutions.
Definition at line 209 of file flatzinc.hh.
|
protected |
Return all solutions.
Definition at line 210 of file flatzinc.hh.
|
protected |
How many threads to use.
Definition at line 211 of file flatzinc.hh.
|
protected |
Use free search.
Definition at line 212 of file flatzinc.hh.
|
protected |
Decay option.
Definition at line 213 of file flatzinc.hh.
|
protected |
Copy recomputation distance.
Definition at line 214 of file flatzinc.hh.
|
protected |
Adaptive recomputation distance.
Definition at line 215 of file flatzinc.hh.
|
protected |
Cutoff for number of nodes.
Definition at line 216 of file flatzinc.hh.
|
protected |
Cutoff for number of failures.
Definition at line 217 of file flatzinc.hh.
|
protected |
Cutoff for time.
Definition at line 218 of file flatzinc.hh.
|
protected |
Random seed.
Definition at line 219 of file flatzinc.hh.
|
protected |
Restart method option.
Definition at line 220 of file flatzinc.hh.
|
protected |
Restart base.
Definition at line 221 of file flatzinc.hh.
|
protected |
Restart scale factor.
Definition at line 222 of file flatzinc.hh.
|
protected |
Whether to use no-goods.
Definition at line 223 of file flatzinc.hh.
|
protected |
Depth limit for extracting no-goods.
Definition at line 224 of file flatzinc.hh.
|
protected |
Whether to catch SIGINT.
Definition at line 225 of file flatzinc.hh.
|
protected |
Script mode to run.
Definition at line 230 of file flatzinc.hh.
|
protected |
Emit statistics.
Definition at line 231 of file flatzinc.hh.
|
protected |
Output file.
Definition at line 232 of file flatzinc.hh.