20 this->clause = vector<Variable>();
33 this->clause = vector<Variable>();
34 for (
int i = 0; i < count; i++)
36 this->clause.push_back(va_arg(ap,
Variable));
48 (this->clause).push_back(x);
58 this->clause.insert(this->clause.begin(), x);
70 if ((
int) this->clause.size() != 0)
74 for (
int i = 0; i < (int) this->clause.size(); i++)
75 (*ss) << this->clause.at(i) << sep;
90 for (
int i = 0; i < (int) this->clause.size(); i++)
91 (*newclause).appendVariable(this->clause.at(i));
94 ostream& operator<<(ostream& out,
const OrClause& r)
96 stringstream ss(stringstream::in | stringstream::out);
102 OrClause::~OrClause()