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. | |
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] |
Member Data Documentation
IntPropLevel Gecode::Driver::IplOption::cur [protected] |
The documentation for this class was generated from the following files:
- gecode/driver.hh
- gecode/driver/options.cpp
- gecode/driver/options.hpp