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

Gecode::Driver::IplOption Class Reference

Integer propagation level option. More...

#include <driver.hh>

List of all members.

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.

Protected Attributes

IntPropLevel cur
 Current value.

Detailed Description

Integer propagation level option.

Definition at line 289 of file driver.hh.


Constructor & Destructor Documentation

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

Initialize with default value ipl.

Definition at line 292 of file options.cpp.


Member Function Documentation

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

Set default level to l.

Definition at line 137 of file options.hpp.

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

Return current option value.

Definition at line 141 of file options.hpp.

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.

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

Current value.

Definition at line 291 of file driver.hh.


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