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... | |
![]() | |
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... | |
![]() | |
const char * | opt |
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 char * | strdup (const char *s) |
Create heap-allocated copy of string s. More... | |
static void | strdel (const char *s) |
Delete heap-allocated copy of string s. More... | |
![]() | |
char * | argument (int argc, char *argv[]) const |
Gecode::Driver::IplOption::IplOption | ( | IntPropLevel | ipl = IPL_DEF | ) |
Initialize with default value ipl.
Definition at line 265 of file options.cpp.
|
inline |
Set default level to l.
Definition at line 141 of file options.hpp.
|
inline |
Return current option value.
Definition at line 145 of file options.hpp.
|
virtual |
Parse option at first position and return number of parsed arguments.
Implements Gecode::Driver::BaseOption.
Definition at line 270 of file options.cpp.
|
virtual |
|
protected |