
Boolean option. More...
#include <driver.hh>
Public Member Functions | |
| BoolOption (const char *o, const char *e) | |
| Initialize for option o and explanation e and default false. | |
| void | value (bool v) |
| Set default value to v. | |
| bool | value (void) const |
| Return current option value. | |
| virtual bool | parse (int &argc, char *argv[]) |
| Parse option at first position. | |
| virtual void | help (void) |
| Print help text. | |
Protected Attributes | |
| bool | cur |
| Current value. | |
| Gecode::Driver::BoolOption::BoolOption | ( | const char * | o, |
| const char * | e | ||
| ) | [inline] |
Initialize for option o and explanation e and default false.
Definition at line 133 of file options.hpp.
| void Gecode::Driver::BoolOption::value | ( | bool | v | ) | [inline] |
Set default value to v.
Definition at line 136 of file options.hpp.
| bool Gecode::Driver::BoolOption::value | ( | void | ) | const [inline] |
Return current option value.
Definition at line 140 of file options.hpp.
| bool Gecode::Driver::BoolOption::parse | ( | int & | argc, |
| char * | argv[] | ||
| ) | [virtual] |
Parse option at first position.
Implements Gecode::Driver::BaseOption.
Definition at line 252 of file options.cpp.
| void Gecode::Driver::BoolOption::help | ( | void | ) | [virtual] |
bool Gecode::Driver::BoolOption::cur [protected] |