Searched refs:LevelVars (Results 1 – 1 of 1) sorted by relevance
466 std::vector<Variable> LevelVars; member in clang::dataflow::WatchedLiteralsSolverImpl504 : CNF(buildCNF(Vals)), LevelVars(CNF.LargestVar + 1), in WatchedLiteralsSolverImpl()568 const Variable Var = LevelVars[Level]; in solve()579 LevelVars[Level] = ActiveVar; in solve()603 LevelVars[Level] = ActiveVar; in solve()644 const Variable Var = LevelVars[Level]; in reverseForcedMoves()657 const Variable Var = LevelVars[Level]; in updateWatchedLiterals()