Options for scripts with additional size parameter More...
#include <driver.hh>
Public Member Functions | |
SizeOptions (const char *s) | |
Initialize options for script with name s. More... | |
virtual void | help (void) |
Print help text. More... | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc) More... | |
void | size (unsigned int s) |
Set default size. More... | |
unsigned int | size (void) const |
Return size. More... | |
![]() | |
Options (const char *s) | |
Initialize options for script with name s. More... | |
void | model (int v) |
Set default model value. More... | |
void | model (int v, const char *o, const char *h=NULL) |
Add model option value for value v, string o, and help h. More... | |
int | model (void) const |
Return model value. More... | |
void | symmetry (int v) |
Set default symmetry value. More... | |
void | symmetry (int v, const char *o, const char *h=NULL) |
Add symmetry option value for value v, string o, and help h. More... | |
int | symmetry (void) const |
Return symmetry value. More... | |
void | propagation (int v) |
Set default propagation value. More... | |
void | propagation (int v, const char *o, const char *h=NULL) |
Add propagation option value for value v, string o, and help h. More... | |
int | propagation (void) const |
Return propagation value. More... | |
void | icl (IntConLevel i) |
Set default integer consistency level. More... | |
IntConLevel | icl (void) const |
Return integer consistency level. More... | |
void | branching (int v) |
Set default branching value. More... | |
void | branching (int v, const char *o, const char *h=NULL) |
Add branching option value for value v, string o, and help h. More... | |
int | branching (void) const |
Return branching value. More... | |
void | search (int v) |
Set default search value. More... | |
void | search (int v, const char *o, const char *h=NULL) |
Add search option value for value v, string o, and help h. More... | |
int | search (void) const |
Return search value. More... | |
void | solutions (unsigned int n) |
Set default number of solutions to search for. More... | |
unsigned int | solutions (void) const |
Return number of solutions to search for. More... | |
void | threads (double n) |
Set number of parallel threads. More... | |
double | threads (void) const |
Return number of parallel threads. More... | |
void | c_d (unsigned int d) |
Set default copy recomputation distance. More... | |
unsigned int | c_d (void) const |
Return copy recomputation distance. More... | |
void | a_d (unsigned int d) |
Set default adaptive recomputation distance. More... | |
unsigned int | a_d (void) const |
Return adaptive recomputation distance. More... | |
void | node (unsigned int n) |
Set default node cutoff. More... | |
unsigned int | node (void) const |
Return node cutoff. More... | |
void | fail (unsigned int n) |
Set default failure cutoff. More... | |
unsigned int | fail (void) const |
Return failure cutoff. More... | |
void | time (unsigned int t) |
Set default time cutoff. More... | |
unsigned int | time (void) const |
Return time cutoff. More... | |
void | interrupt (bool b) |
Set default interrupt behavior. More... | |
bool | interrupt (void) const |
Return interrupt behavior. More... | |
void | mode (ScriptMode em) |
Set default mode. More... | |
ScriptMode | mode (void) const |
Return mode. More... | |
void | iterations (unsigned int i) |
Set default number of iterations. More... | |
unsigned int | iterations (void) const |
Return number of iterations. More... | |
void | samples (unsigned int s) |
Set default number of samples. More... | |
unsigned int | samples (void) const |
Return number of samples. More... | |
![]() | |
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... | |
Gecode::SizeOptions::SizeOptions | ( | const char * | s | ) |
Initialize options for script with name s.
Definition at line 385 of file options.cpp.
|
virtual |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 389 of file options.cpp.
void Gecode::SizeOptions::parse | ( | int & | argc, |
char * | argv[] | ||
) |
Parse options from arguments argv (number is argc)
Definition at line 396 of file options.cpp.
|
inline |
Set default size.
Definition at line 399 of file options.hpp.
|
inline |
Return size.
Definition at line 403 of file options.hpp.
|
protected |