Gecode::Driver::StringValueOption Class Reference
String-valued option. More...
#include <driver.hh>
Public Member Functions | |
StringValueOption (const char *o, const char *e, const char *v=NULL) | |
Initialize for option o and explanation e and default value v. | |
void | value (const char *v) |
Set default value to v. | |
const char * | value (void) const |
Return current option value. | |
virtual bool | parse (int &argc, char *argv[]) |
Parse option at first position. | |
virtual void | help (void) |
Print help text. | |
virtual | ~StringValueOption (void) |
Destructor. | |
Protected Attributes | |
const char * | cur |
Current value. |
Detailed Description
String-valued option.
Definition at line 137 of file driver.hh.
Constructor & Destructor Documentation
Gecode::Driver::StringValueOption::StringValueOption | ( | const char * | o, | |
const char * | e, | |||
const char * | v = NULL | |||
) | [inline] |
Initialize for option o and explanation e and default value v.
Definition at line 49 of file options.hpp.
Gecode::Driver::StringValueOption::~StringValueOption | ( | void | ) | [virtual] |
Destructor.
Definition at line 104 of file options.cpp.
Member Function Documentation
void Gecode::Driver::StringValueOption::value | ( | const char * | v | ) | [inline] |
Set default value to v.
Definition at line 53 of file options.hpp.
const char * Gecode::Driver::StringValueOption::value | ( | void | ) | const [inline] |
Return current option value.
Definition at line 58 of file options.hpp.
bool Gecode::Driver::StringValueOption::parse | ( | int & | argc, | |
char * | argv[] | |||
) | [virtual] |
Parse option at first position.
Implements Gecode::Driver::BaseOption.
Definition at line 81 of file options.cpp.
void Gecode::Driver::StringValueOption::help | ( | void | ) | [virtual] |
Member Data Documentation
const char* Gecode::Driver::StringValueOption::cur [protected] |
The documentation for this class was generated from the following files:
- gecode/driver.hh (Revision: 11465)
- gecode/driver/options.cpp (Revision: 11465)
- gecode/driver/options.hpp (Revision: 11766)