Options for Hamming problems More...
Public Member Functions | |
| HammingOptions (const char *s, unsigned int bits0, unsigned int distance0, unsigned int size0) | |
| Initialize options for example with name s. | |
| unsigned int | bits (void) const |
| Return number of bits. | |
| unsigned int | distance (void) const |
| Return minimum distance. | |
| unsigned int | size (void) const |
| Return number of symbols. | |
 Public Member Functions inherited from Gecode::Options | |
| Options (const char *s) | |
| Initialize options for script with name s. | |
| 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. | |
| 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 | 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 | interrupt (bool b) |
| Set default interrupt behavior. | |
| bool | interrupt (void) const |
| Return interrupt behavior. | |
| void | mode (ScriptMode em) |
| Set default mode. | |
| ScriptMode | mode (void) const |
| Return mode. | |
| void | iterations (unsigned int i) |
| Set default number of iterations. | |
| unsigned int | iterations (void) const |
| Return number of iterations. | |
| void | samples (unsigned int s) |
| Set default number of samples. | |
| unsigned int | samples (void) const |
| Return number of samples. | |
| Public Member Functions inherited from Gecode::BaseOptions | |
| 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. | |
Additional Inherited Members | |
| Protected Attributes inherited from Gecode::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. | |
| Driver::StringOption | _search |
| Search options. | |
| Driver::UnsignedIntOption | _solutions |
| How many solutions. | |
| Driver::DoubleOption | _threads |
| How many threads to use. | |
| Driver::UnsignedIntOption | _c_d |
| Copy recomputation distance. | |
| Driver::UnsignedIntOption | _a_d |
| Adaptive recomputation distance. | |
| Driver::UnsignedIntOption | _node |
| Cutoff for number of nodes. | |
| Driver::UnsignedIntOption | _fail |
| Cutoff for number of failures. | |
| Driver::UnsignedIntOption | _time |
| Cutoff for time. | |
| Driver::StringOption | _interrupt |
| Whether to catch SIGINT. | |
| Driver::StringOption | _mode |
| Script mode to run. | |
| Driver::UnsignedIntOption | _samples |
| How many samples. | |
| Driver::UnsignedIntOption | _iterations |
| How many iterations per sample. | |
| Protected Attributes inherited from Gecode::BaseOptions | |
| Driver::BaseOption * | fst |
| First registered option. | |
| Driver::BaseOption * | lst |
| Last registered option. | |
| const char * | _name |
| Script name. | |
Options for Hamming problems
Definition at line 50 of file hamming.cpp.
|
inline |
Initialize options for example with name s.
Definition at line 61 of file hamming.cpp.
|
inline |
Return number of bits.
Definition at line 71 of file hamming.cpp.
|
inline |
Return minimum distance.
Definition at line 73 of file hamming.cpp.
|
inline |
Return number of symbols.
Definition at line 75 of file hamming.cpp.