Generated on Thu Mar 22 10:39:54 2012 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 bool parse (int &argc, char *argv[])
 Parse option at first position.
virtual void help (void)
 Print help text.

Protected Attributes

int cur
 Current value.

Detailed Description

Integer option.

Definition at line 195 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 83 of file options.hpp.


Member Function Documentation

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

Set default value to v.

Definition at line 86 of file options.hpp.

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

Return current option value.

Definition at line 90 of file options.hpp.

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

Parse option at first position.

Implements Gecode::Driver::BaseOption.

Definition at line 181 of file options.cpp.

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

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 197 of file options.cpp.


Member Data Documentation

Current value.

Definition at line 197 of file driver.hh.


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