Searched refs:LevelVars (Results 1 – 1 of 1) sorted by relevance
70 std::vector<Variable> LevelVars; member in clang::dataflow::__anon6ff0613e0111::WatchedLiteralsSolverImpl111 LevelVars(CNF.largestVar() + 1), LevelStates(CNF.largestVar() + 1) { in WatchedLiteralsSolverImpl()189 const Variable Var = LevelVars[Level]; in solve()200 LevelVars[Level] = ActiveVar; in solve()224 LevelVars[Level] = ActiveVar; in solve()265 const Variable Var = LevelVars[Level]; in reverseForcedMoves()278 const Variable Var = LevelVars[Level]; in updateWatchedLiterals()