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.
 
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.
 

Detailed Description

Parser that reads cnf and drat files.


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