Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15
Gecode::Driver::IplOption Class Reference

Integer propagation level option. More...

#include <driver.hh>

Public Member Functions

 IplOption (IntPropLevel ipl=IPL_DEF)
 Initialize with default value ipl. More...
 
void value (IntPropLevel l)
 Set default level to l. More...
 
IntPropLevel value (void) const
 Return current option value. More...
 
virtual int parse (int argc, char *argv[])
 Parse option at first position and return number of parsed arguments. More...
 
virtual void help (void)
 Print help text. More...
 
- Public Member Functions inherited from Gecode::Driver::BaseOption
 BaseOption (const char *o, const char *e)
 Initialize for option o and explanation e. More...
 
virtual ~BaseOption (void)
 Destructor. More...
 

Protected Attributes

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

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. More...
 
static void strdel (const char *s)
 Delete heap-allocated copy of string s. More...
 
- Protected Member Functions inherited from Gecode::Driver::BaseOption
char * argument (int argc, char *argv[]) const
 

Detailed Description

Integer propagation level option.

Definition at line 289 of file driver.hh.

Constructor & Destructor Documentation

◆ IplOption()

Gecode::Driver::IplOption::IplOption ( IntPropLevel  ipl = IPL_DEF)

Initialize with default value ipl.

Definition at line 265 of file options.cpp.

Member Function Documentation

◆ value() [1/2]

void Gecode::Driver::IplOption::value ( IntPropLevel  l)
inline

Set default level to l.

Definition at line 141 of file options.hpp.

◆ value() [2/2]

IntPropLevel Gecode::Driver::IplOption::value ( void  ) const
inline

Return current option value.

Definition at line 145 of file options.hpp.

◆ parse()

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

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

Implements Gecode::Driver::BaseOption.

Definition at line 270 of file options.cpp.

◆ help()

void Gecode::Driver::IplOption::help ( void  )
virtual

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 306 of file options.cpp.

Member Data Documentation

◆ cur

IntPropLevel Gecode::Driver::IplOption::cur
protected

Current value.

Definition at line 291 of file driver.hh.


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