Gecode::Driver::StringOption Class Reference

String-valued option (integer value defined by strings) More...

#include <driver.hh>

List of all members.

Classes
class	Value
	Option value. More...
Public Member Functions
	StringOption (const char *o, const char *e, int v=0)
	Initialize for option o and explanation e and default value v.
void	value (int v)
	Set default value to v.
int	value (void) const
	Return current option value.
void	add (int v, const char *o, const char *h=NULL)
	Add option value for value v, string o, and help text h.
virtual bool	parse (int &argc, char *argv[])
	Parse option at first position.
virtual void	help (void)
	Print help text.
virtual	~StringOption (void)
	Destructor.
Protected Attributes
int	cur
	Current value.
Value *	fst
	First option value.
Value *	lst
	Last option value.

---

Detailed Description

String-valued option (integer value defined by strings)

Definition at line 160 of file driver.hh.

---

Constructor & Destructor Documentation

Gecode::Driver::StringOption::StringOption	(	const char *	o,
		const char *	e,
		int	v = 0
	)		[inline]

Initialize for option o and explanation e and default value v.

Definition at line 67 of file options.hpp.

Gecode::Driver::StringOption::~StringOption

(

void

)

[virtual]

Destructor.

Definition at line 168 of file options.cpp.

---

Member Function Documentation

void Gecode::Driver::StringOption::value

(

int

v

)

[inline]

Set default value to v.

Definition at line 70 of file options.hpp.

int Gecode::Driver::StringOption::value

(

void

)

const [inline]

Return current option value.

Definition at line 74 of file options.hpp.

void Gecode::Driver::StringOption::add	(	int	v,
		const char *	o,
		const char *	h = NULL
	)

Add option value for value v, string o, and help text h.

Definition at line 111 of file options.cpp.

bool Gecode::Driver::StringOption::parse	(	int &	argc,
		char *	argv[]
	)		[virtual]

Parse option at first position.

Implements Gecode::Driver::BaseOption.

Definition at line 126 of file options.cpp.

void Gecode::Driver::StringOption::help

(

void

)

[virtual]

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 149 of file options.cpp.

---

Member Data Documentation

int Gecode::Driver::StringOption::cur [protected]

Current value.

Definition at line 170 of file driver.hh.

Value* Gecode::Driver::StringOption::fst [protected]

First option value.

Definition at line 171 of file driver.hh.

Value* Gecode::Driver::StringOption::lst [protected]

Last option value.

Definition at line 172 of file driver.hh.

---

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

• gecode/driver.hh (Revision: 11465)
• gecode/driver/options.cpp (Revision: 11465)
• gecode/driver/options.hpp (Revision: 11766)