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. | |
template<typename T > | |
pos_t | parse_clause (istream &in, T parse_append_raw) |
Parse a clause to the global clause database. More... | |
template<typename T > | |
pos_t | parse_deletion (istream &in, T parse_append_raw) |
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. | |
void | bin_parse_proof (istream &in) |
Parse DRAT file in binary format. | |
Parser that reads cnf and drat files.
pos_t Parser::parse_clause | ( | istream & | in, |
T | parse_append_raw | ||
) |
Parse a clause to the global clause database.
in | Input stream to read from |
parse_append_raw | Called with (in) to read and append a clause to clause db. |