Gecode::Driver::TraceOption Class Reference
Trace flag option. More...
#include <driver.hh>
Public Member Functions | |
TraceOption (int f=0) | |
Initialize with no tracing. | |
void | value (int f) |
Set default trace flags to f. | |
int | 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 | |
int | cur |
Current value. |
Detailed Description
Trace flag option.
Definition at line 309 of file driver.hh.
Constructor & Destructor Documentation
Gecode::Driver::TraceOption::TraceOption | ( | int | f = 0 |
) |
Initialize with no tracing.
Definition at line 353 of file options.cpp.
Member Function Documentation
void Gecode::Driver::TraceOption::value | ( | int | f | ) | [inline] |
Set default trace flags to f.
Definition at line 151 of file options.hpp.
int Gecode::Driver::TraceOption::value | ( | void | ) | const [inline] |
Return current option value.
Definition at line 155 of file options.hpp.
int Gecode::Driver::TraceOption::parse | ( | int | argc, | |
char * | argv[] | |||
) | [virtual] |
Parse option at first position and return number of parsed arguments.
Implements Gecode::Driver::BaseOption.
Definition at line 358 of file options.cpp.
void Gecode::Driver::TraceOption::help | ( | void | ) | [virtual] |
Member Data Documentation
int Gecode::Driver::TraceOption::cur [protected] |
The documentation for this class was generated from the following files:
- gecode/driver.hh
- gecode/driver/options.cpp
- gecode/driver/options.hpp