Double option. More...

#include <driver.hh>

Public Member Functions
	DoubleOption (const char o, const char e, unsigned int v=0)
	Initialize for option o and explanation e and default value v.
void	value (double v)
	Set default value to v.
double	value (void) const
	Return current option value.
virtual bool	parse (int &argc, char *argv[])
	Parse option at first position.
virtual void	help (void)
	Print help text.
Protected Attributes
double	cur
	Current value.

Detailed Description

Double option.

Definition at line 235 of file driver.hh.

Constructor & Destructor Documentation

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

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

Definition at line 116 of file options.hpp.

void Gecode::Driver::DoubleOption::value ( double v ) [inline]

Set default value to v.

Definition at line 120 of file options.hpp.

double Gecode::Driver::DoubleOption::value ( void ) const [inline]

Return current option value.

Definition at line 124 of file options.hpp.

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

Parse option at first position.

Definition at line 229 of file options.cpp.

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

Print help text.

Definition at line 245 of file options.cpp.

Current value.

Definition at line 237 of file driver.hh.

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