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

Gecode::Driver::DoubleOption Class Reference

Double option. More...

#include <driver.hh>

List of all members.

Public Member Functions

 DoubleOption (const char *o, const char *e, double 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 int parse (int argc, char *argv[])
 Parse option at first position and return number of parsed arguments.
virtual void help (void)
 Print help text.

Protected Attributes

double cur
 Current value.

Detailed Description

Double option.

Definition at line 249 of file driver.hh.


Constructor & Destructor Documentation

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

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

Definition at line 104 of file options.hpp.


Member Function Documentation

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

Set default value to v.

Definition at line 108 of file options.hpp.

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

Return current option value.

Definition at line 112 of file options.hpp.

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

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

Implements Gecode::Driver::BaseOption.

Definition at line 232 of file options.cpp.

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

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 241 of file options.cpp.


Member Data Documentation

Current value.

Definition at line 251 of file driver.hh.


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