예제 #1
0
::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;
}
예제 #2
0
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));
        }
    }
}