Searched refs:at_most_one_buffer_ (Results 1 – 2 of 2) sorted by relevance
541 at_most_one_buffer_.insert(at_most_one_buffer_.end(), at_most_one.begin(), in AddAtMostOne()578 const Literal l = at_most_one_buffer_[i]; in CleanUpAndAddAtMostOnes()594 std::sort(&at_most_one_buffer_[local_start], in CleanUpAndAddAtMostOnes()595 &at_most_one_buffer_[local_end]); in CleanUpAndAddAtMostOnes()599 const Literal l = at_most_one_buffer_[j]; in CleanUpAndAddAtMostOnes()617 at_most_one_buffer_[new_local_end++] = l; in CleanUpAndAddAtMostOnes()628 const Literal l = at_most_one_buffer_[j]; in CleanUpAndAddAtMostOnes()634 at_most_one_buffer_[new_local_end++] = l; in CleanUpAndAddAtMostOnes()642 const Literal l = at_most_one_buffer_[j]; in CleanUpAndAddAtMostOnes()685 at_most_one_buffer_.resize(local_end); in CleanUpAndAddAtMostOnes()[all …]
785 std::vector<Literal> at_most_one_buffer_; variable