Generated on Fri Oct 19 11:25:55 2018 for Gecode by doxygen 1.6.3

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 177 of file driver.hh.


Member Data Documentation

Value for an option value.

Definition at line 179 of file driver.hh.

String for option value.

Definition at line 180 of file driver.hh.

Optional help text.

Definition at line 181 of file driver.hh.

Next option value.

Definition at line 182 of file driver.hh.


The documentation for this class was generated from the following file: