cprover
read_dimacs_cnf.cpp File Reference

Reading DIMACS CNF. More...

#include "read_dimacs_cnf.h"
#include <istream>
#include <cstdlib>
#include <util/string2int.h>
Include dependency graph for read_dimacs_cnf.cpp:

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)
 

Detailed Description

Reading DIMACS CNF.

Definition in file read_dimacs_cnf.cpp.

Macro Definition Documentation

◆ CHAR_DELIMITERS

#define CHAR_DELIMITERS   "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"

Referenced by read_dimacs_cnf().

◆ DELIMITERS

#define DELIMITERS   "\t\n\v\f\r "

Referenced by read_dimacs_cnf().

Function Documentation

◆ read_dimacs_cnf()