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

template<typename T >
pos_t Parser::parse_clause ( istream &  in,
parse_append_raw 
)

Parse a clause to the global clause database.

Parameters
inInput stream to read from
parse_append_rawCalled 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: