Base class for script options.
More...
#include <gecode/driver.hh>
|
| | BaseOptions (const char *s) |
| | Initialize options for script with name s.
|
| virtual void | help (void) |
| | Print help text.
|
| void | add (Driver::BaseOption &o) |
| | Add new option o.
|
| void | parse (int &argc, char *argv[]) |
| | Parse options from arguments argv (number is argc).
|
| const char * | name (void) const |
| | Return name of script.
|
| void | name (const char *) |
| | Set name of script.
|
| virtual | ~BaseOptions (void) |
| | Destructor.
|
Base class for script options.
Definition at line 375 of file driver.hh.
◆ BaseOptions()
| Gecode::BaseOptions::BaseOptions |
( |
const char * | s | ) |
|
Initialize options for script with name s.
◆ ~BaseOptions()
| virtual Gecode::BaseOptions::~BaseOptions |
( |
void | | ) |
|
|
virtual |
◆ help()
| virtual void Gecode::BaseOptions::help |
( |
void | | ) |
|
|
virtual |
◆ add()
◆ parse()
| void Gecode::BaseOptions::parse |
( |
int & | argc, |
|
|
char * | argv[] ) |
Parse options from arguments argv (number is argc).
The options are parsed from position one onwards until no more options are detected. After parsing, the parsed arguments have been removed.
◆ name() [1/2]
| const char * Gecode::BaseOptions::name |
( |
void | | ) |
const |
|
inline |
◆ name() [2/2]
| void Gecode::BaseOptions::name |
( |
const char * | | ) |
|
◆ fst
First registered option.
Definition at line 377 of file driver.hh.
◆ lst
Last registered option.
Definition at line 378 of file driver.hh.
◆ _name
| const char* Gecode::BaseOptions::_name |
|
protected |
The documentation for this class was generated from the following files: