Gecode::BaseOptions Class Reference
[Commandline options for running scripts]
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. |
Detailed Description
Base class for script options.
Definition at line 254 of file driver.hh.
Constructor & Destructor Documentation
Gecode::BaseOptions::BaseOptions | ( | const char * | s | ) |
Initialize options for script with name s.
Definition at line 242 of file options.cpp.
Gecode::BaseOptions::~BaseOptions | ( | void | ) | [virtual] |
Destructor.
Definition at line 301 of file options.cpp.
Member Function Documentation
void Gecode::BaseOptions::help | ( | void | ) | [virtual] |
Print help text.
Reimplemented in BIBDOptions, LangfordNumberOptions, SatOptions, SteelMillOptions, and Gecode::SizeOptions.
Definition at line 253 of file options.cpp.
void Gecode::BaseOptions::add | ( | Driver::BaseOption & | o | ) | [inline] |
Add new option o.
Definition at line 134 of file options.hpp.
void Gecode::BaseOptions::parse | ( | int & | argc, | |
char * | argv[] | |||
) |
Parse options from arguments argv (number is argc).
Reimplemented in BIBDOptions, EFPAOptions, LangfordNumberOptions, SatOptions, SteelMillOptions, Gecode::SizeOptions, and Gecode::FlatZinc::FlatZincOptions.
Definition at line 286 of file options.cpp.
const char * Gecode::BaseOptions::name | ( | void | ) | const [inline] |
Return name of script.
Definition at line 144 of file options.hpp.
void Gecode::BaseOptions::name | ( | const char * | n | ) |
Set name of script.
Definition at line 247 of file options.cpp.
Member Data Documentation
Driver::BaseOption* Gecode::BaseOptions::fst [protected] |
Driver::BaseOption* Gecode::BaseOptions::lst [protected] |
const char* Gecode::BaseOptions::_name [protected] |
The documentation for this class was generated from the following files:
- gecode/driver.hh (Revision: 9692)
- gecode/driver/options.cpp (Revision: 9887)
- gecode/driver/options.hpp (Revision: 9350)