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

Gecode::Driver::IntOption Class Reference

Integer option. More...

#include <driver.hh>

List of all members.

Public Member Functions

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

int cur
 Current value.

Detailed Description

Integer option.

Definition at line 209 of file driver.hh.


Constructor & Destructor Documentation

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

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

Definition at line 71 of file options.hpp.


Member Function Documentation

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

Set default value to v.

Definition at line 74 of file options.hpp.

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

Return current option value.

Definition at line 78 of file options.hpp.

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

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

Implements Gecode::Driver::BaseOption.

Definition at line 199 of file options.cpp.

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

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 208 of file options.cpp.


Member Data Documentation

Current value.

Definition at line 211 of file driver.hh.


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