
Parse an additional file option. More...
#include <scowl.hpp>
Public Member Functions | |
| FileSizeOptions (const char *s) | |
| Initialize with name s. | |
| const char * | file (void) const |
| Return file name (NULL if none given) | |
Protected Attributes | |
| Gecode::Driver::StringValueOption | _file |
| The file name. | |
| FileSizeOptions::FileSizeOptions | ( | const char * | s | ) | [inline] |
| const char * FileSizeOptions::file | ( | void | ) | const [inline] |