Options for scripts with additional instance parameter More...
#include <driver.hh>
Public Member Functions | |
InstanceOptions (const char *s) | |
Initialize options for script with name s. | |
virtual void | help (void) |
Print help text. | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc) | |
void | instance (const char *s) |
Set default instance name. | |
const char * | instance (void) const |
Return instance name. | |
~InstanceOptions (void) | |
Destructor. | |
Protected Attributes | |
const char * | _inst |
Instance string. |
Options for scripts with additional instance parameter
Gecode::InstanceOptions::InstanceOptions | ( | const char * | s | ) |
Initialize options for script with name s.
Definition at line 405 of file options.cpp.
Gecode::InstanceOptions::~InstanceOptions | ( | void | ) |
Destructor.
Definition at line 429 of file options.cpp.
void Gecode::InstanceOptions::help | ( | void | ) | [virtual] |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 415 of file options.cpp.
void Gecode::InstanceOptions::parse | ( | int & | argc, |
char * | argv[] | ||
) |
Parse options from arguments argv (number is argc)
Reimplemented from Gecode::BaseOptions.
Definition at line 422 of file options.cpp.
void Gecode::InstanceOptions::instance | ( | const char * | s | ) |
Set default instance name.
Definition at line 409 of file options.cpp.
const char * Gecode::InstanceOptions::instance | ( | void | ) | const [inline] |
Return instance name.
Definition at line 412 of file options.hpp.
const char* Gecode::InstanceOptions::_inst [protected] |