Generated on Fri Mar 20 15:56:50 2015 for Gecode by doxygen 1.6.3

Gecode::Driver::UnsignedIntOption Class Reference

Unsigned integer option. More...

#include <driver.hh>

List of all members.

Public Member Functions

 UnsignedIntOption (const char *o, const char *e, unsigned int v=0)
 Initialize for option o and explanation e and default value v.
void value (unsigned int v)
 Set default value to v.
unsigned int 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

unsigned int cur
 Current value.

Detailed Description

Unsigned integer option.

Definition at line 229 of file driver.hh.


Constructor & Destructor Documentation

Gecode::Driver::UnsignedIntOption::UnsignedIntOption ( 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 91 of file options.hpp.


Member Function Documentation

void Gecode::Driver::UnsignedIntOption::value ( unsigned int  v  )  [inline]

Set default value to v.

Definition at line 95 of file options.hpp.

unsigned int Gecode::Driver::UnsignedIntOption::value ( void   )  const [inline]

Return current option value.

Definition at line 99 of file options.hpp.

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

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

Implements Gecode::Driver::BaseOption.

Definition at line 198 of file options.cpp.

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

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 207 of file options.cpp.


Member Data Documentation

unsigned int Gecode::Driver::UnsignedIntOption::cur [protected]

Current value.

Definition at line 231 of file driver.hh.


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