Options for scripts with additional size parameter More...
#include <driver.hh>
Public Member Functions | |
SizeOptions (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 | size (unsigned int s) |
Set default size. | |
unsigned int | size (void) const |
Return size. | |
Protected Attributes | |
unsigned int | _size |
Size value. |
Options for scripts with additional size parameter
Gecode::SizeOptions::SizeOptions | ( | const char * | s | ) |
Initialize options for script with name s.
Definition at line 385 of file options.cpp.
void Gecode::SizeOptions::help | ( | void | ) | [virtual] |
Print help text.
Reimplemented from Gecode::BaseOptions.
Definition at line 389 of file options.cpp.
void Gecode::SizeOptions::parse | ( | int & | argc, |
char * | argv[] | ||
) |
Parse options from arguments argv (number is argc)
Reimplemented from Gecode::BaseOptions.
Definition at line 396 of file options.cpp.
void Gecode::SizeOptions::size | ( | unsigned int | s | ) | [inline] |
Set default size.
Definition at line 399 of file options.hpp.
unsigned int Gecode::SizeOptions::size | ( | void | ) | const [inline] |
Return size.
Definition at line 403 of file options.hpp.
unsigned int Gecode::SizeOptions::_size [protected] |