Generated on Thu Apr 11 13:59:40 2019 for Gecode by doxygen 1.6.3

SatOptions Class Reference

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 49 of file sat.cpp.


Constructor & Destructor Documentation

SatOptions::SatOptions ( const char *  s  )  [inline]

Initialize options with file name s.

Definition at line 54 of file sat.cpp.


Member Function Documentation

void SatOptions::parse ( int &  argc,
char *  argv[] 
) [inline]

Parse options from arguments argv (number is argc).

Reimplemented from Gecode::BaseOptions.

Definition at line 57 of file sat.cpp.

virtual void SatOptions::help ( void   )  [inline, virtual]

Print help message.

Reimplemented from Gecode::BaseOptions.

Definition at line 69 of file sat.cpp.


Member Data Documentation

std::string SatOptions::filename

Name of the DIMACS file to parse.

Definition at line 52 of file sat.cpp.


The documentation for this class was generated from the following file: