cprover
|
#include "dimacs_cnf.h"
#include <util/invariant.h>
#include <util/magic.h>
#include <iostream>
#include <sstream>
Go to the source code of this file.
Functions | |
static void | write_dimacs_clause (const bvt &clause, std::ostream &out, bool break_lines) |
|
static |
Definition at line 50 of file dimacs_cnf.cpp.
Referenced by dimacs_cnf_dumpt::lcnf(), and dimacs_cnft::write_clauses().