::std::ostream& operator<<(::std::ostream& os, const ConditionSet& set) {
os << "(ConditionSet ";
for(ConditionSet::iterator it = set.begin(); it != set.end(); ++it) {
os << condition_to_string(it->get());
}
os << ")";
return os;
}
void SimpleQueryMatcher::solve_both_same_qvar(const ConditionSet& values,
/* output */ ConditionSet& new_values,
std::vector<ConditionPair>& result_pairs)
{
for(ConditionSet::iterator it = values.begin();
it != values.end(); ++it)
{
if(_solver->validate(it->get(), it->get())) {
new_values.insert(*it);
result_pairs.push_back(ConditionPair(*it, *it));
}
}
}