cprover
|
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 35 of file dimacs_cnf.cpp.
Referenced by dimacs_cnf_dumpt::lcnf(), and dimacs_cnft::write_clauses().