Option value.
More...
#include <driver.hh>
List of all members.
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.
|
Detailed Description
Option value.
Definition at line 163 of file driver.hh.
Member Data Documentation
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: