Searched refs:LevelVars (Results 1 – 1 of 1) sorted by relevance
400 std::vector<Variable> LevelVars; member in clang::dataflow::WatchedLiteralsSolverImpl437 : Formula(buildBooleanFormula(Vals)), LevelVars(Formula.LargestVar + 1), in WatchedLiteralsSolverImpl()490 const Variable Var = LevelVars[Level]; in solve()501 LevelVars[Level] = ActiveVar; in solve()525 LevelVars[Level] = ActiveVar; in solve()567 const Variable Var = LevelVars[Level]; in reverseForcedMoves()580 const Variable Var = LevelVars[Level]; in updateWatchedLiterals()