Generated on Sun Aug 26 2012 08:43:58 for Gecode by doxygen 1.8.1.1
Gecode::Driver::StringOption::Value Class Reference

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.
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: