GRATgen: Parser Class Reference

GRATgen

Classes | Public Member Functions | List of all members
Parser Class Reference

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.

## Detailed Description

Parser that reads cnf and drat files.

## Member Function Documentation

## ◆ parse_clause()

template<typename T >

pos_t Parser::parse_clause | ( | istream & | in,
|  | T | parse_append_raw
| ) |  |

Parse a clause to the global clause database.

Parameters

  in | Input stream to read from
  parse_append_raw | Called with (in) to read and append a clause to clause db.

See also
  parse_append_clause

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

- gratgen.cpp