cprover
|
Reading DIMACS CNF. More...
Go to the source code of this file.
Macros | |
#define | DELIMITERS "\t\n\v\f\r " |
#define | CHAR_DELIMITERS "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ" |
Functions | |
void | read_dimacs_cnf (std::istream &in, cnft &dest) |
Reading DIMACS CNF.
Definition in file read_dimacs_cnf.cpp.
#define CHAR_DELIMITERS "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ" |
Referenced by read_dimacs_cnf().
#define DELIMITERS "\t\n\v\f\r " |
Referenced by read_dimacs_cnf().
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().