Generated on Thu Apr 11 13:59:50 2019 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 87 of file options.hpp.


Member Function Documentation

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

Set default value to v.

Definition at line 91 of file options.hpp.

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

Return current option value.

Definition at line 95 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 215 of file options.cpp.

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

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 224 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: