Generated on Thu Mar 7 2013 10:22:00 for Gecode by doxygen 1.8.3.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 163 of file driver.hh.

Member Data Documentation

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

Value for an option value.

Definition at line 165 of file driver.hh.

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: