Searched refs:rhs_used_ (Results 1 – 1 of 1) sorted by relevance
422 rhs_used_.assign(graph_->RhsSize(), kUnused); in Compute()437 rhs_used_[rhs] = lhs; in PushMatch()446 rhs_used_[back.second] = kUnused; in PopMatch()451 if (rhs_used_[irhs] != kUnused) { in RecurseInto()475 std::vector<size_t> rhs_used_; member in testing::gmock_matchers_test::__anonebb175b30111::__anonebb175b30211::BacktrackingMaxBPMState