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 277 of file driver.hh.
Constructor & Destructor Documentation
Gecode::BaseOptions::BaseOptions | ( | const char * | s | ) |
Initialize options for script with name s.
Definition at line 273 of file options.cpp.
Gecode::BaseOptions::~BaseOptions | ( | void | ) | [virtual] |
Destructor.
Definition at line 336 of file options.cpp.
Member Function Documentation
void Gecode::BaseOptions::help | ( | void | ) | [virtual] |
Print help text.
Reimplemented in BIBDOptions, LangfordNumberOptions, SatOptions, SchurOptions, SteelMillOptions, Gecode::SizeOptions, Gecode::InstanceOptions, and Gecode::FlatZinc::FlatZincOptions.
Definition at line 284 of file options.cpp.
void Gecode::BaseOptions::add | ( | Driver::BaseOption & | o | ) | [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 BIBDOptions, EFPAOptions, LangfordNumberOptions, SatOptions, SchurOptions, SteelMillOptions, Gecode::SizeOptions, Gecode::InstanceOptions, and Gecode::FlatZinc::FlatZincOptions.
Definition at line 321 of file options.cpp.
const char * Gecode::BaseOptions::name | ( | void | ) | const [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.
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: 11465)
- gecode/driver/options.cpp (Revision: 11465)
- gecode/driver/options.hpp (Revision: 11766)