
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 |
| 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) |
Public Member Functions inherited from Gecode::BaseOptions | |
| 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 | |
Protected Attributes inherited from Gecode::BaseOptions | |
| 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 237 of file flatzinc.hh.
|
inline |
Definition at line 286 of file flatzinc.hh.
|
inlinevirtual |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 295 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 311 of file flatzinc.hh.
|
inline |
Definition at line 312 of file flatzinc.hh.
|
inline |
Definition at line 313 of file flatzinc.hh.
|
inline |
Definition at line 314 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 322 of file flatzinc.hh.
|
inline |
Definition at line 323 of file flatzinc.hh.
|
inline |
Definition at line 324 of file flatzinc.hh.
|
inline |
Definition at line 325 of file flatzinc.hh.
|
inline |
Definition at line 326 of file flatzinc.hh.
|
inline |
Definition at line 328 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 |
Step option.
Definition at line 226 of file flatzinc.hh.
|
protected |
Script mode to run.
Definition at line 231 of file flatzinc.hh.
|
protected |
Emit statistics.
Definition at line 232 of file flatzinc.hh.
|
protected |
Output file.
Definition at line 233 of file flatzinc.hh.