cprover
dimacs_cnf.cpp File Reference
#include "dimacs_cnf.h"
#include <iostream>
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 35 of file dimacs_cnf.cpp.

Referenced by dimacs_cnf_dumpt::lcnf(), and dimacs_cnft::write_clauses().