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 313 of file driver.hh.
◆ TraceOption()
Gecode::Driver::TraceOption::TraceOption |
( |
int |
f = 0 | ) |
|
Initialize with no tracing.
Definition at line 357 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 159 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: