Trace flag option.
More...
#include <driver.hh>
|
| static char * | strdup (const char *s) |
| | Create heap-allocated copy of string s. More...
|
| |
| static char * | stredup (const char *s) |
| | Create heap-allocated copy of string s with hyphen added. More...
|
| |
| static void | strdel (const char *s) |
| | Delete heap-allocated copy of string s. More...
|
| |
| char * | argument (int argc, char *argv[]) const |
| |
Trace flag option.
Definition at line 309 of file driver.hh.
◆ TraceOption()
| Gecode::Driver::TraceOption::TraceOption |
( |
int |
f = 0 | ) |
|
Initialize with no tracing.
Definition at line 353 of file options.cpp.
◆ value() [1/2]
| void Gecode::Driver::TraceOption::value |
( |
int |
f | ) |
|
|
inline |
◆ value() [2/2]
| int Gecode::Driver::TraceOption::value |
( |
void |
| ) |
const |
|
inline |
Return current option value.
Definition at line 155 of file options.hpp.
◆ parse()
| int Gecode::Driver::TraceOption::parse |
( |
int |
argc, |
|
|
char * |
argv[] |
|
) |
| |
|
virtual |
◆ help()
| void Gecode::Driver::TraceOption::help |
( |
void |
| ) |
|
|
virtual |
◆ cur
| int Gecode::Driver::TraceOption::cur |
|
protected |
The documentation for this class was generated from the following files: