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
Initialize options with file name s.
Definition at line 58 of file sat.cpp.
Member Function Documentation
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: