Options for scripts
More...
#include <driver.hh>
Public Member Functions |
| Options (const char *s) |
| Initialize options for script with name s.
|
| BaseOptions (const char *s) |
| Initialize options for script with name s.
|
virtual void | help (void) |
| Print help text.
|
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.
|
Model options |
Driver::StringOption | _model |
| General model options.
|
Driver::StringOption | _symmetry |
| General symmetry options.
|
Driver::StringOption | _propagation |
| Propagation options.
|
Driver::StringOption | _icl |
| Integer consistency level.
|
Driver::StringOption | _branching |
| Branching options.
|
void | model (int v) |
| Set default model value.
|
void | model (int v, const char *o, const char *h=NULL) |
| Add model option value for value v, string o, and help h.
|
int | model (void) const |
| Return model value.
|
void | symmetry (int v) |
| Set default symmetry value.
|
void | symmetry (int v, const char *o, const char *h=NULL) |
| Add symmetry option value for value v, string o, and help h.
|
int | symmetry (void) const |
| Return symmetry value.
|
void | propagation (int v) |
| Set default propagation value.
|
void | propagation (int v, const char *o, const char *h=NULL) |
| Add propagation option value for value v, string o, and help h.
|
int | propagation (void) const |
| Return propagation value.
|
void | icl (IntConLevel i) |
| Set default integer consistency level.
|
IntConLevel | icl (void) const |
| Return integer consistency level.
|
void | branching (int v) |
| Set default branching value.
|
void | branching (int v, const char *o, const char *h=NULL) |
| Add branching option value for value v, string o, and help h.
|
int | branching (void) const |
| Return branching value.
|
Detailed Description
Options for scripts
Definition at line 306 of file driver.hh.
Constructor & Destructor Documentation
Gecode::Options::Options |
( |
const char * |
s | ) |
|
Initialize options for script with name s.
Definition at line 341 of file options.cpp.
Member Function Documentation
void Gecode::Options::model |
( |
int |
v | ) |
|
|
inline |
void Gecode::Options::model |
( |
int |
v, |
|
|
const char * |
o, |
|
|
const char * |
h = NULL |
|
) |
| |
|
inline |
Add model option value for value v, string o, and help h.
Definition at line 177 of file options.hpp.
int Gecode::Options::model |
( |
void |
| ) |
const |
|
inline |
void Gecode::Options::symmetry |
( |
int |
v | ) |
|
|
inline |
void Gecode::Options::symmetry |
( |
int |
v, |
|
|
const char * |
o, |
|
|
const char * |
h = NULL |
|
) |
| |
|
inline |
Add symmetry option value for value v, string o, and help h.
Definition at line 190 of file options.hpp.
int Gecode::Options::symmetry |
( |
void |
| ) |
const |
|
inline |
void Gecode::Options::propagation |
( |
int |
v | ) |
|
|
inline |
void Gecode::Options::propagation |
( |
int |
v, |
|
|
const char * |
o, |
|
|
const char * |
h = NULL |
|
) |
| |
|
inline |
Add propagation option value for value v, string o, and help h.
Definition at line 203 of file options.hpp.
int Gecode::Options::propagation |
( |
void |
| ) |
const |
|
inline |
Return integer consistency level.
Definition at line 216 of file options.hpp.
void Gecode::Options::branching |
( |
int |
v | ) |
|
|
inline |
void Gecode::Options::branching |
( |
int |
v, |
|
|
const char * |
o, |
|
|
const char * |
h = NULL |
|
) |
| |
|
inline |
Add branching option value for value v, string o, and help h.
Definition at line 225 of file options.hpp.
int Gecode::Options::branching |
( |
void |
| ) |
const |
|
inline |
void Gecode::Options::search |
( |
int |
v | ) |
|
|
inline |
void Gecode::Options::search |
( |
int |
v, |
|
|
const char * |
o, |
|
|
const char * |
h = NULL |
|
) |
| |
|
inline |
Add search option value for value v, string o, and help h.
Definition at line 242 of file options.hpp.
int Gecode::Options::search |
( |
void |
| ) |
const |
|
inline |
void Gecode::Options::solutions |
( |
unsigned int |
n | ) |
|
|
inline |
Set default number of solutions to search for.
Definition at line 251 of file options.hpp.
unsigned int Gecode::Options::solutions |
( |
void |
| ) |
const |
|
inline |
Return number of solutions to search for.
Definition at line 255 of file options.hpp.
void Gecode::Options::threads |
( |
double |
n | ) |
|
|
inline |
double Gecode::Options::threads |
( |
void |
| ) |
const |
|
inline |
Return number of parallel threads.
Definition at line 264 of file options.hpp.
void Gecode::Options::c_d |
( |
unsigned int |
d | ) |
|
|
inline |
unsigned int Gecode::Options::c_d |
( |
void |
| ) |
const |
|
inline |
Return copy recomputation distance.
Definition at line 273 of file options.hpp.
void Gecode::Options::a_d |
( |
unsigned int |
d | ) |
|
|
inline |
Set default adaptive recomputation distance.
Definition at line 278 of file options.hpp.
unsigned int Gecode::Options::a_d |
( |
void |
| ) |
const |
|
inline |
Return adaptive recomputation distance.
Definition at line 282 of file options.hpp.
void Gecode::Options::node |
( |
unsigned int |
n | ) |
|
|
inline |
unsigned int Gecode::Options::node |
( |
void |
| ) |
const |
|
inline |
void Gecode::Options::fail |
( |
unsigned int |
n | ) |
|
|
inline |
unsigned int Gecode::Options::fail |
( |
void |
| ) |
const |
|
inline |
void Gecode::Options::time |
( |
unsigned int |
t | ) |
|
|
inline |
unsigned int Gecode::Options::time |
( |
void |
| ) |
const |
|
inline |
void Gecode::Options::interrupt |
( |
bool |
b | ) |
|
|
inline |
bool Gecode::Options::interrupt |
( |
void |
| ) |
const |
|
inline |
Return interrupt behavior.
Definition at line 318 of file options.hpp.
void Gecode::Options::iterations |
( |
unsigned int |
i | ) |
|
|
inline |
unsigned int Gecode::Options::iterations |
( |
void |
| ) |
const |
|
inline |
Return number of iterations.
Definition at line 341 of file options.hpp.
void Gecode::Options::samples |
( |
unsigned int |
s | ) |
|
|
inline |
unsigned int Gecode::Options::samples |
( |
void |
| ) |
const |
|
inline |
Member Data Documentation
General model options.
Definition at line 310 of file driver.hh.
General symmetry options.
Definition at line 311 of file driver.hh.
Propagation options.
Definition at line 312 of file driver.hh.
Integer consistency level.
Definition at line 313 of file driver.hh.
Branching options.
Definition at line 314 of file driver.hh.
How many solutions.
Definition at line 320 of file driver.hh.
How many threads to use.
Definition at line 321 of file driver.hh.
Copy recomputation distance.
Definition at line 322 of file driver.hh.
Adaptive recomputation distance.
Definition at line 323 of file driver.hh.
Cutoff for number of nodes.
Definition at line 324 of file driver.hh.
Cutoff for number of failures.
Definition at line 325 of file driver.hh.
Whether to catch SIGINT.
Definition at line 327 of file driver.hh.
Script mode to run.
Definition at line 332 of file driver.hh.
How many iterations per sample.
Definition at line 334 of file driver.hh.
The documentation for this class was generated from the following files: