Option value.
More...
#include <driver.hh>
Option value.
Definition at line 163 of file driver.hh.
int Gecode::Driver::StringOption::Value::val |
const char* Gecode::Driver::StringOption::Value::opt |
String for option value.
Definition at line 166 of file driver.hh.
const char* Gecode::Driver::StringOption::Value::help |
Optional help text.
Definition at line 167 of file driver.hh.
Value* Gecode::Driver::StringOption::Value::next |
Next option value.
Definition at line 168 of file driver.hh.
The documentation for this class was generated from the following file: