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.
Value *	next
	Next option value.

---

Detailed Description

Option value.

Definition at line 136 of file driver.hh.

---

Member Data Documentation

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

Value for an option value.

Definition at line 138 of file driver.hh.

const char* Gecode::Driver::StringOption::Value::opt

String for option value.

Definition at line 139 of file driver.hh.

const char* Gecode::Driver::StringOption::Value::help

Optional help text.

Definition at line 140 of file driver.hh.

Value* Gecode::Driver::StringOption::Value::next

Next option value.

Definition at line 141 of file driver.hh.

---

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

• gecode/driver.hh (Revision: 9102)