Searched refs:ActiveVars (Results 1 – 1 of 1) sorted by relevance
103 std::vector<Variable> ActiveVars; member in clang::dataflow::__anondce44e890111::WatchedLiteralsSolverImpl140 ActiveVars.push_back(Var); in WatchedLiteralsSolverImpl()153 while (I < ActiveVars.size()) { in solve()169 const Variable ActiveVar = ActiveVars[I]; in solve()207 if (I + 1 < ActiveVars.size()) { in solve()210 ActiveVars[I] = ActiveVars.back(); in solve()216 ActiveVars.pop_back(); in solve()219 } else if (I + 1 == ActiveVars.size()) { in solve()230 ActiveVars.pop_back(); in solve()272 ActiveVars.push_back(Var); in reverseForcedMoves()[all …]