Options for SAT problems. More...
Public Member Functions | |
SatOptions (const char *s) | |
Initialize options with file name s. | |
void | parse (int &argc, char *argv[]) |
Parse options from arguments argv (number is argc) | |
virtual void | help (void) |
Print help message. | |
Public Attributes | |
std::string | filename |
Name of the DIMACS file to parse. |
Options for SAT problems.
SatOptions::SatOptions | ( | const char * | s | ) | [inline] |
void SatOptions::parse | ( | int & | argc, |
char * | argv[] | ||
) | [inline] |
Parse options from arguments argv (number is argc)
Reimplemented from Gecode::BaseOptions.
virtual void SatOptions::help | ( | void | ) | [inline, virtual] |
std::string SatOptions::filename |