
Integer propagation level option. More...
#include <driver.hh>
Public Member Functions | |
| IplOption (IntPropLevel ipl=IPL_DEF) | |
| Initialize with default value ipl. More... | |
| void | value (IntPropLevel l) |
| Set default level to l. More... | |
| IntPropLevel | value (void) const |
| Return current option value. More... | |
| virtual int | parse (int argc, char *argv[]) |
| Parse option at first position and return number of parsed arguments. More... | |
| virtual void | help (void) |
| Print help text. More... | |
Public Member Functions inherited from Gecode::Driver::BaseOption | |
| BaseOption (const char *o, const char *e) | |
| Initialize for option o and explanation e. More... | |
| virtual | ~BaseOption (void) |
| Destructor. More... | |
Protected Attributes | |
| IntPropLevel | cur |
| Current value. More... | |
Protected Attributes inherited from Gecode::Driver::BaseOption | |
| const char * | eopt |
| String for option (excluding hyphen) More... | |
| const char * | iopt |
| String for option (including hyphen) More... | |
| const char * | exp |
| Short explanation. More... | |
| BaseOption * | next |
| Next option Check for option and return its argument. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Driver::BaseOption | |
| static char * | strdup (const char *s) |
| Create heap-allocated copy of string s. More... | |
| static char * | stredup (const char *s) |
| Create heap-allocated copy of string s with hyphen added. More... | |
| static void | strdel (const char *s) |
| Delete heap-allocated copy of string s. More... | |
Protected Member Functions inherited from Gecode::Driver::BaseOption | |
| char * | argument (int argc, char *argv[]) const |
| Gecode::Driver::IplOption::IplOption | ( | IntPropLevel | ipl = IPL_DEF | ) |
Initialize with default value ipl.
Definition at line 292 of file options.cpp.
|
inline |
Set default level to l.
Definition at line 137 of file options.hpp.
|
inline |
Return current option value.
Definition at line 141 of file options.hpp.
|
virtual |
Parse option at first position and return number of parsed arguments.
Implements Gecode::Driver::BaseOption.
Definition at line 297 of file options.cpp.
|
virtual |
|
protected |