Options for running FlatZinc models More...
#include <flatzinc.hh>
Public Types | |
enum | SearchOptions { FZ_SEARCH_BAB, FZ_SEARCH_RESTART } |
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. | |
unsigned int | solutions (void) const |
double | threads (void) const |
bool | free (void) const |
SearchOptions | search (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 |
unsigned int | print (void) const |
Gecode::ScriptMode | mode (void) const |
Search options | |
Gecode::Driver::UnsignedIntOption | _solutions |
How many solutions. | |
Gecode::Driver::BoolOption | _allSolutions |
Return all solutions. | |
Gecode::Driver::DoubleOption | _threads |
How many threads to use. | |
Gecode::Driver::DoubleOption | _parallel |
Use all cores. | |
Gecode::Driver::BoolOption | _free |
Use free search. | |
Gecode::Driver::StringOption | _search |
Search engine variant. | |
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. | |
Execution options | |
Gecode::Driver::StringOption | _mode |
Script mode to run. | |
Gecode::Driver::StringOption | _print |
Print all solutions. |
Options for running FlatZinc models
Definition at line 155 of file flatzinc.hh.
Definition at line 178 of file flatzinc.hh.
Gecode::FlatZinc::FlatZincOptions::FlatZincOptions | ( | const char * | s | ) | [inline] |
Constructor.
Definition at line 183 of file flatzinc.hh.
void Gecode::FlatZinc::FlatZincOptions::parse | ( | int & | argc, |
char * | argv[] | ||
) | [inline] |
Parse options from arguments argv (number is argc)
Reimplemented from Gecode::BaseOptions.
Definition at line 218 of file flatzinc.hh.
virtual void Gecode::FlatZinc::FlatZincOptions::help | ( | void | ) | [inline, virtual] |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 227 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::solutions | ( | void | ) | const [inline] |
Definition at line 234 of file flatzinc.hh.
double Gecode::FlatZinc::FlatZincOptions::threads | ( | void | ) | const [inline] |
Definition at line 235 of file flatzinc.hh.
bool Gecode::FlatZinc::FlatZincOptions::free | ( | void | ) | const [inline] |
Definition at line 236 of file flatzinc.hh.
SearchOptions Gecode::FlatZinc::FlatZincOptions::search | ( | void | ) | const [inline] |
Definition at line 237 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::c_d | ( | void | ) | const [inline] |
Definition at line 240 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::a_d | ( | void | ) | const [inline] |
Definition at line 241 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::node | ( | void | ) | const [inline] |
Definition at line 242 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::fail | ( | void | ) | const [inline] |
Definition at line 243 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::time | ( | void | ) | const [inline] |
Definition at line 244 of file flatzinc.hh.
unsigned int Gecode::FlatZinc::FlatZincOptions::print | ( | void | ) | const [inline] |
Definition at line 245 of file flatzinc.hh.
Gecode::ScriptMode Gecode::FlatZinc::FlatZincOptions::mode | ( | void | ) | const [inline] |
Definition at line 246 of file flatzinc.hh.
How many solutions.
Definition at line 159 of file flatzinc.hh.
Return all solutions.
Definition at line 160 of file flatzinc.hh.
How many threads to use.
Definition at line 161 of file flatzinc.hh.
Use all cores.
Definition at line 162 of file flatzinc.hh.
Use free search.
Definition at line 163 of file flatzinc.hh.
Search engine variant.
Definition at line 164 of file flatzinc.hh.
Copy recomputation distance.
Definition at line 165 of file flatzinc.hh.
Adaptive recomputation distance.
Definition at line 166 of file flatzinc.hh.
Cutoff for number of nodes.
Definition at line 167 of file flatzinc.hh.
Cutoff for number of failures.
Definition at line 168 of file flatzinc.hh.
Cutoff for time.
Definition at line 169 of file flatzinc.hh.
Script mode to run.
Definition at line 174 of file flatzinc.hh.
Print all solutions.
Definition at line 175 of file flatzinc.hh.