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