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. |
Parse an additional file option.
FileSizeOptions::FileSizeOptions | ( | const char * | s | ) | [inline] |
const char * FileSizeOptions::file | ( | void | ) | const [inline] |