Generated on Sat Aug 25 2012 03:33:05 for Gecode by doxygen 1.8.1.2
Gecode::Driver::StringOption::Value Class Reference

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.
Valuenext
 Next option value.

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: