Unsigned integer option.
More...
#include <driver.hh>
|
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...
|
|
Unsigned integer option.
Definition at line 215 of file driver.hh.
Gecode::Driver::UnsignedIntOption::UnsignedIntOption |
( |
const char * |
o, |
|
|
const char * |
e, |
|
|
unsigned int |
v = 0 |
|
) |
| |
|
inline |
Initialize for option o and explanation e and default value v.
Definition at line 99 of file options.hpp.
void Gecode::Driver::UnsignedIntOption::value |
( |
unsigned int |
v | ) |
|
|
inline |
unsigned int Gecode::Driver::UnsignedIntOption::value |
( |
void |
| ) |
const |
|
inline |
Return current option value.
Definition at line 107 of file options.hpp.
bool Gecode::Driver::UnsignedIntOption::parse |
( |
int & |
argc, |
|
|
char * |
argv[] |
|
) |
| |
|
virtual |
void Gecode::Driver::UnsignedIntOption::help |
( |
void |
| ) |
|
|
virtual |
unsigned int Gecode::Driver::UnsignedIntOption::cur |
|
protected |
The documentation for this class was generated from the following files: