Go to the documentation of this file.
65 for(
size_t j=0; j<clause.size(); j++)
67 out << clause[j].dimacs() <<
" ";
69 if((j&15)==0 && j!=0 && break_lines)
78 std::size_t count = 0;
79 std::stringstream output_block;
80 for(clausest::const_iterator it=
clauses.begin();
88 out << output_block.str();
94 out << output_block.str();
dimacs_cnf_dumpt(std::ostream &_out)
void write_clauses(std::ostream &out)
void write_problem_line(std::ostream &out)
virtual void write_dimacs_cnf(std::ostream &out)
std::vector< literalt > bvt
virtual void lcnf(const bvt &bv)
Magic numbers used throughout the codebase.
const std::size_t CNF_DUMP_BLOCK_SIZE
#define UNREACHABLE
This should be used to mark dead code.
bool is_in_conflict(literalt l) const override
Returns true if an assumption is in the final conflict.
void set_assignment(literalt a, bool value) override
static void write_dimacs_clause(const bvt &clause, std::ostream &out, bool break_lines)
virtual size_t no_variables() const override