9 #include "SATFormulae.h"
16 this->clauses_and = vector<OrClause>();
26 this->clauses_and.push_back(c);
36 string newline =
"\n";
37 for (
int i = 0; i < (int) this->clauses_and.size(); i++)
39 (*ss) << this->clauses_and.at(i);
40 if (i != (
int) this->clauses_and.size() - 1)
46 ostream& operator<<(ostream& out,
const SATFormulae& r)
48 stringstream ss(stringstream::in | stringstream::out);
60 return (
int) this->clauses_and.size();
71 for (
int i = 0; i < this->
size(); i++)
74 this->clauses_and.at(i).clone(&newor);
75 (*newsat).appendOrClause(newor);
86 return this->clauses_and.empty();
89 SATFormulae::~SATFormulae()