Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
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.
void value (IntPropLevel l)
 Set default level to l.
IntPropLevel 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

IntPropLevel 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 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 292 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 137 of file options.hpp.

◆ value() [2/2]

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

Return current option value.

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

◆ help()

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

Print help text.

Implements Gecode::Driver::BaseOption.

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