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.