24 write_problem_line(out);
32 << clauses.size() <<
"\n";
50 for(
size_t j=0; j<clause.size(); j++)
52 out << clause[j].dimacs() <<
" ";
54 if((j&15)==0 && j!=0 && break_lines)
63 for(clausest::const_iterator it=clauses.begin();
64 it!=clauses.end(); it++)
void write_clauses(std::ostream &out)
virtual void write_dimacs_cnf(std::ostream &out)
static void write_dimacs_clause(const bvt &clause, std::ostream &out, bool break_lines)
virtual void lcnf(const bvt &bv)
void write_problem_line(std::ostream &out)
virtual size_t no_variables() const override
dimacs_cnf_dumpt(std::ostream &_out)
std::vector< literalt > bvt