cprover
dimacs_cnf.cpp File Reference
#include "dimacs_cnf.h"
#include <util/invariant.h>
#include <util/magic.h>
#include <iostream>
#include <sstream>
+ Include dependency graph for dimacs_cnf.cpp:

Go to the source code of this file.

Functions

static void write_dimacs_clause (const bvt &clause, std::ostream &out, bool break_lines)
 

Function Documentation

◆ write_dimacs_clause()

static void write_dimacs_clause ( const bvt clause,
std::ostream &  out,
bool  break_lines 
)
static

Definition at line 50 of file dimacs_cnf.cpp.