Options for SAT problems.
More...
List of all members.
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.
|
Detailed Description
Options for SAT problems.
Definition at line 53 of file sat.cpp.
Constructor & Destructor Documentation
SatOptions::SatOptions |
( |
const char * |
s | ) |
[inline] |
Initialize options with file name s.
Definition at line 58 of file sat.cpp.
Member Function Documentation
void SatOptions::parse |
( |
int & |
argc, |
|
|
char * |
argv[] |
|
) |
| [inline] |
virtual void SatOptions::help |
( |
void |
| ) |
[inline, virtual] |
Member Data Documentation
Name of the DIMACS file to parse.
Definition at line 56 of file sat.cpp.
The documentation for this class was generated from the following file: