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