29 for(
unsigned v=1; v<assignment.size(); v++)
30 out <<
"v" << v <<
"=" << assignment[v] <<
"\n";
38 for(
unsigned v=1; v<assignment.size(); v++)
42 assignment[v]=prop.
l_get(l);
void print_assignment(std::ostream &out) const
bool process_clause(const bvt &bv, bvt &dest)
filter 'true' from clause, eliminate duplicates, recognise trivially satisfied clauses ...
virtual void copy_assignment_from(const propt &prop)
virtual void lcnf(const bvt &bv)
virtual tvt l_get(literalt a) const =0
virtual size_t no_variables() const override
std::vector< literalt > bvt