|
| EFPAOptions (const char *s, int v0=5, int q0=3, int lambda0=2, int d0=4) |
| Initialize options for example with name s.
|
void | parse (int &argc, char *argv[]) |
| Parse options from arguments argv (number is argc)
|
int | v (void) const |
| Get v, number of sequences.
|
int | q (void) const |
| Get q, number of symbols.
|
int | l (void) const |
| Get lambda, sets of symbols per sequence.
|
int | d (void) const |
| Get d, Hamming distance between sequences.
|
bool | permutation (void) const |
| Whether to use permutation constraints. Only active if d=4.
|
bool | symmetry (void) const |
| Whether to use symmetry breaking.
|
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.
|
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.
|
Options for EFPA problems
Definition at line 45 of file efpa.cpp.