Option value. More...
#include <driver.hh>
Public Attributes | |
int | val |
Value for an option value. | |
const char * | opt |
String for option value. | |
const char * | help |
Optional help text. | |
Value * | next |
Next option value. |
const char* Gecode::Driver::StringOption::Value::opt |
const char* Gecode::Driver::StringOption::Value::help |