Searched refs:LevelVars (Results 1 – 1 of 1) sorted by relevance
70 std::vector<Variable> LevelVars; member in clang::dataflow::__anondce44e890111::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()