495   std::vector<Assignment> VarAssignments;  member in clang::dataflow::WatchedLiteralsSolverImpl
514     VarAssignments.resize(CNF.LargestVar + 1, Assignment::Unassigned);  in WatchedLiteralsSolverImpl()
569         VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue  in solve()
581         VarAssignments[ActiveVar] =  in solve()
605         VarAssignments[ActiveVar] = decideAssignment(ActiveVar);  in solve()
633           VarAssignments[Atomic.first] == Assignment::AssignedFalse  in buildSolution()
646       VarAssignments[Var] = Assignment::Unassigned;  in reverseForcedMoves()
661     const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue  in updateWatchedLiterals()
686           VarAssignments[NewWatchedLitVar] == Assignment::Unassigned)  in updateWatchedLiterals()
726     return static_cast<int8_t>(VarAssignments[var(Lit)]) ==  in isCurrentlyFalse()
756       return VarAssignments[Var] == Assignment::Unassigned;  in activeVarsAreUnassigned()
776       if (VarAssignments[Var] != Assignment::Unassigned)  in unassignedVarsFormingWatchedLiteralsAreActive()