Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Driver::IntOption Class Reference

Integer option. More...

#include <driver.hh>

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.
Public Member Functions inherited from Gecode::Driver::BaseOption
 BaseOption (const char *o, const char *e)
 Initialize for option o and explanation e.
virtual ~BaseOption (void)
 Destructor.

Protected Attributes

int cur
 Current value.
Protected Attributes inherited from Gecode::Driver::BaseOption
const char * eopt
 String for option (excluding hyphen)
const char * iopt
 String for option (including hyphen)
const char * exp
 Short explanation.
BaseOptionnext
 Next option Check for option and return its argument.

Additional Inherited Members

Static Public Member Functions inherited from Gecode::Driver::BaseOption
static char * strdup (const char *s)
 Create heap-allocated copy of string s.
static char * stredup (const char *s)
 Create heap-allocated copy of string s with hyphen added.
static void strdel (const char *s)
 Delete heap-allocated copy of string s.
Protected Member Functions inherited from Gecode::Driver::BaseOption
char * argument (int argc, char *argv[]) const

Detailed Description

Integer option.

Definition at line 209 of file driver.hh.

Constructor & Destructor Documentation

◆ IntOption()

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

◆ value() [1/2]

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

Set default value to v.

Definition at line 74 of file options.hpp.

◆ value() [2/2]

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

Return current option value.

Definition at line 78 of file options.hpp.

◆ parse()

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.

◆ help()

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

◆ cur

int Gecode::Driver::IntOption::cur
protected

Current value.

Definition at line 211 of file driver.hh.


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