Options taking two additional parameters. More...
Public Member Functions | |
LangfordNumberOptions (const char *s, int k0, int n0) | |
Parameters to be given on the command line Initialize options for example with name s. | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc) | |
virtual void | help (void) |
Print help message. | |
![]() | |
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 | ipl (IntPropLevel i) |
Set default integer propagation level. | |
IntPropLevel | ipl (void) const |
Return integer propagation 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. | |
void | decay (double d) |
Set default decay factor. | |
double | decay (void) const |
Return decay factor. | |
void | seed (unsigned int s) |
Set default seed value. | |
unsigned int | seed (void) const |
Return seed value. | |
void | step (double s) |
Set default step value. | |
double | step (void) const |
Return step value. | |
void | search (int v) |
Set default search value. | |
void | search (int v, const char *o, const char *h=NULL) |
Add search option value for value v, string o, and help h. | |
int | search (void) const |
Return search value. | |
void | solutions (unsigned int n) |
Set default number of solutions to search for. | |
unsigned int | solutions (void) const |
Return number of solutions to search for. | |
void | threads (double n) |
Set number of parallel threads. | |
double | threads (void) const |
Return number of parallel threads. | |
void | c_d (unsigned int d) |
Set default copy recomputation distance. | |
unsigned int | c_d (void) const |
Return copy recomputation distance. | |
void | a_d (unsigned int d) |
Set default adaptive recomputation distance. | |
unsigned int | a_d (void) const |
Return adaptive recomputation distance. | |
void | d_l (unsigned int d) |
Set default discrepancy limit for LDS. | |
unsigned int | d_l (void) const |
Return discrepancy limit for LDS. | |
void | node (unsigned int n) |
Set default node cutoff. | |
unsigned int | node (void) const |
Return node cutoff. | |
void | fail (unsigned int n) |
Set default failure cutoff. | |
unsigned int | fail (void) const |
Return failure cutoff. | |
void | time (unsigned int t) |
Set default time cutoff. | |
unsigned int | time (void) const |
Return time cutoff. | |
void | assets (unsigned int n) |
Set default number of assets in a portfolio. | |
unsigned int | assets (void) const |
Return slice size in a portfolio. | |
void | slice (unsigned int n) |
Set default slice size in a portfolio. | |
unsigned int | slice (void) const |
Return slice size in a portfolio. | |
void | restart (RestartMode r) |
Set default restart mode. | |
RestartMode | restart (void) const |
Return restart mode. | |
void | restart_base (double base) |
Set default restart base. | |
double | restart_base (void) const |
Return restart base. | |
void | restart_scale (unsigned int scale) |
Set default restart scale factor. | |
unsigned int | restart_scale (void) const |
Return restart scale factor. | |
void | nogoods (bool b) |
Set default nogoods posting behavior. | |
bool | nogoods (void) const |
Return whether nogoods are used. | |
void | nogoods_limit (unsigned int l) |
Set default nogoods depth limit. | |
unsigned int | nogoods_limit (void) const |
Return depth limit for nogoods. | |
void | relax (double d) |
Set default relax probability. | |
double | relax (void) const |
Return default relax probability. | |
void | interrupt (bool b) |
Set default interrupt behavior. | |
bool | interrupt (void) const |
Return interrupt behavior. | |
Options (const char *s) | |
Initialize options for script with name s. | |
void | mode (ScriptMode em) |
Set default mode. | |
ScriptMode | mode (void) const |
Return mode. | |
void | samples (unsigned int s) |
Set default number of samples. | |
unsigned int | samples (void) const |
Return number of samples. | |
void | iterations (unsigned int i) |
Set default number of iterations. | |
unsigned int | iterations (void) const |
Return number of iterations. | |
void | print_last (bool p) |
Set whether to print only last solution found. | |
bool | print_last (void) const |
Return whether to print only last solution found. | |
void | out_file (const char *f) |
Set default output file name for solutions. | |
const char * | out_file (void) const |
Get file name for solutions. | |
void | log_file (const char *f) |
Set default output file name for Gecode stats. | |
const char * | log_file (void) const |
Get file name for Gecode stats. | |
void | trace (int f) |
Set trace flags. | |
int | trace (void) const |
Return trace flags. | |
void | profiler_id (int i) |
Set profiler execution identifier. | |
int | profiler_id (void) const |
Return profiler execution id. | |
void | profiler_port (unsigned int p) |
Set profiler port. | |
unsigned int | profiler_port (void) const |
Return profiler execution id. | |
void | profiler_info (bool b) |
Whether solution info should be sent to profiler. | |
bool | profiler_info (void) const |
Return whether solution info should be sent to profiler. | |
![]() | |
BaseOptions (const char *s) | |
Initialize options for script with name s. | |
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. | |
Public Attributes | |
int | k |
int | n |
![]() | |
class Gecode::Options::_I | inspect |
Script mode to run. | |
Options taking two additional parameters.
Definition at line 49 of file langford-number.cpp.
|
inline |
Parameters to be given on the command line Initialize options for example with name s.
Definition at line 53 of file langford-number.cpp.
|
inline |
Parse options from arguments argv (number is argc)
Definition at line 56 of file langford-number.cpp.
|
inlinevirtual |
Print help message.
Reimplemented from Gecode::BaseOptions.
Definition at line 64 of file langford-number.cpp.
int LangfordNumberOptions::k |
Definition at line 51 of file langford-number.cpp.
int LangfordNumberOptions::n |
Definition at line 51 of file langford-number.cpp.