cprover
|
Reading DIMACS CNF. More...
#include "cnf.h"
Go to the source code of this file.
Functions | |
void | read_dimacs_cnf (std::istream &in, cnft &dest) |
Reading DIMACS CNF.
Definition in file read_dimacs_cnf.h.
void read_dimacs_cnf | ( | std::istream & | in, |
cnft & | dest | ||
) |
Definition at line 21 of file read_dimacs_cnf.cpp.
References CHAR_DELIMITERS, DELIMITERS, cnft::eliminate_duplicates(), literalt::get(), propt::lcnf(), cnft::no_variables(), pos(), literalt::set(), cnft::set_no_variables(), and unsafe_string2int().