Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::Driver::StringOption::Value Class Reference

Option value. More...

#include <driver.hh>

Public Attributes

int val
 Value for an option value. More...
 
const char * opt
 String for option value. More...
 
const char * help
 Optional help text. More...
 
Valuenext
 Next option value. More...
 

Detailed Description

Option value.

Definition at line 177 of file driver.hh.

Member Data Documentation

int Gecode::Driver::StringOption::Value::val

Value for an option value.

Definition at line 179 of file driver.hh.

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: