Base class for script options. More...
#include <driver.hh>
Public Member Functions | |
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. |
Protected Attributes | |
Driver::BaseOption * | fst |
First registered option. | |
Driver::BaseOption * | lst |
Last registered option. | |
const char * | _name |
Script name. |
Gecode::BaseOptions::BaseOptions | ( | const char * | s | ) |
Initialize options for script with name s.
Definition at line 273 of file options.cpp.
|
virtual |
Destructor.
Definition at line 336 of file options.cpp.
|
virtual |
Print help text.
Reimplemented in Gecode::InstanceOptions, Gecode::SizeOptions, Gecode::FlatZinc::FlatZincOptions, SteelMillOptions, BIBDOptions, SatOptions, LangfordNumberOptions, and SchurOptions.
Definition at line 284 of file options.cpp.
|
inline |
Add new option o.
Definition at line 152 of file options.hpp.
void Gecode::BaseOptions::parse | ( | int & | argc, |
char * | argv[] | ||
) |
Parse options from arguments argv (number is argc)
Reimplemented in Gecode::InstanceOptions, Gecode::SizeOptions, Gecode::FlatZinc::FlatZincOptions, SteelMillOptions, EFPAOptions, BIBDOptions, SatOptions, LangfordNumberOptions, and SchurOptions.
Definition at line 321 of file options.cpp.
|
inline |
Return name of script.
Definition at line 162 of file options.hpp.
void Gecode::BaseOptions::name | ( | const char * | n | ) |
Set name of script.
Definition at line 278 of file options.cpp.
|
protected |
|
protected |
|
protected |