GRATgen
|
Parser that reads cnf and drat files. More...
Public Member Functions | |
Parser () | |
Constructor. | |
void | parse_ignore_comments (istream &in) |
Skip over whitespace and comments. | |
pos_t | parse_clause (istream &in) |
Parse a clause to the global clause database. | |
pos_t | parse_deletion (istream &in) |
Parse a deletion item to the global clause database. | |
void | parse_dimacs (istream &in) |
Parse the cnf file. | |
void | parse_proof (istream &in) |
Parse the DRAT file. | |
Parser that reads cnf and drat files.