
Options for Schur's Lemma More...
Public Member Functions | |
| SchurOptions (const char *s, int c0, int n0) | |
| void | parse (int &argc, char *argv[]) |
| Parse options from arguments argv (number is argc) More... | |
| virtual void | help (void) |
| Print help message. More... | |
Public Member Functions inherited from Gecode::Options | |
| 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 | decay (double d) |
| Set default decay factor. More... | |
| double | decay (void) const |
| Return decay factor. More... | |
| void | seed (unsigned int s) |
| Set default seed value. More... | |
| unsigned int | seed (void) const |
| Return seed value. More... | |
| void | step (double s) |
| Set default step value. More... | |
| double | step (void) const |
| Return step 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 | restart (RestartMode r) |
| Set default restart mode. More... | |
| RestartMode | restart (void) const |
| Return restart mode. More... | |
| void | restart_base (double base) |
| Set default restart base. More... | |
| double | restart_base (void) const |
| Return restart base. More... | |
| void | restart_scale (unsigned int scale) |
| Set default restart scale factor. More... | |
| unsigned int | restart_scale (void) const |
| Return restart scale factor. More... | |
| void | nogoods (bool b) |
| Set default nogoods posting behavior. More... | |
| bool | nogoods (void) const |
| Return whether nogoods are used. More... | |
| void | nogoods_limit (unsigned int l) |
| Set default nogoods depth limit. More... | |
| unsigned int | nogoods_limit (void) const |
| Return depth limit for nogoods. 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 | samples (unsigned int s) |
| Set default number of samples. More... | |
| unsigned int | samples (void) const |
| Return number of samples. More... | |
| void | iterations (unsigned int i) |
| Set default number of iterations. More... | |
| unsigned int | iterations (void) const |
| Return number of iterations. More... | |
| void | print_last (bool p) |
| Set whether to print only last solution found. More... | |
| bool | print_last (void) const |
| Return whether to print only last solution found. More... | |
| void | out_file (const char *f) |
| Set default output file name for solutions. More... | |
| const char * | out_file (void) const |
| Get file name for solutions. More... | |
| void | log_file (const char *f) |
| Set default output file name for Gecode stats. More... | |
| const char * | log_file (void) const |
| Get file name for Gecode stats. More... | |
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... | |
Public Attributes | |
| int | c |
| int | n |
| Parameters to be given on command line Initialize options for example with name s. More... | |
Options for Schur's Lemma
Definition at line 48 of file schurs-lemma.cpp.
|
inline |
Definition at line 52 of file schurs-lemma.cpp.
|
inline |
Parse options from arguments argv (number is argc)
Definition at line 55 of file schurs-lemma.cpp.
|
inlinevirtual |
Print help message.
Reimplemented from Gecode::BaseOptions.
Definition at line 63 of file schurs-lemma.cpp.
| int SchurOptions::c |
Definition at line 50 of file schurs-lemma.cpp.
| int SchurOptions::n |
Parameters to be given on command line Initialize options for example with name s.
Definition at line 50 of file schurs-lemma.cpp.