Gecode::Driver::StringValueOption Class Reference

String-valued option. More...

#include <driver.hh>

Public Member Functions
	StringValueOption (const char o, const char e, const char *v=NULL)
	Initialize for option o and explanation e and default value v.
void	value (const char *v)
	Set default value to v.
const char *	value (void) const
	Return current option value.
virtual int	parse (int argc, char *argv[])
	Parse option at first position and return number of parsed arguments.
virtual void	help (void)
	Print help text.
virtual	~StringValueOption (void)
	Destructor.
Protected Attributes
const char *	cur
	Current value.

Detailed Description

String-valued option.

Definition at line 151 of file driver.hh.

Gecode::Driver::StringValueOption::StringValueOption	(	const char *	o,
		const char *	e,
		const char *	v = `NULL`
	)

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

Definition at line 109 of file options.cpp.

Gecode::Driver::StringValueOption::~StringValueOption ( void ) [virtual]

Destructor.

Definition at line 131 of file options.cpp.

void Gecode::Driver::StringValueOption::value ( const char * v )

Set default value to v.

Definition at line 113 of file options.cpp.

const char * Gecode::Driver::StringValueOption::value ( void ) const [inline]

Return current option value.

Definition at line 46 of file options.hpp.

int Gecode::Driver::StringValueOption::parse	(	int	argc,
		char *	argv[]
	)			`[virtual]`

Parse option at first position and return number of parsed arguments.

Definition at line 118 of file options.cpp.

void Gecode::Driver::StringValueOption::help ( void ) [virtual]

Print help text.

Definition at line 126 of file options.cpp.

Current value.

Definition at line 153 of file driver.hh.

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