88   enum class Assignment : int8_t {  enum in clang::dataflow::__anondce44e890111::WatchedLiteralsSolverImpl
99   std::vector<Assignment> VarAssignments;
135     VarAssignments.resize(CNF.largestVar() + 1, Assignment::Unassigned);  in WatchedLiteralsSolverImpl()
190         VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue  in solve()
191                                   ? Assignment::AssignedFalse  in solve()
192                                   : Assignment::AssignedTrue;  in solve()
203             unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse;  in solve()
247   llvm::DenseMap<Atom, Solver::Result::Assignment> buildSolution() {  in buildSolution()
248     llvm::DenseMap<Atom, Solver::Result::Assignment> Solution;  in buildSolution()
254           VarAssignments[Atomic.first] == Assignment::AssignedFalse  in buildSolution()
255               ? Solver::Result::Assignment::AssignedFalse  in buildSolution()
256               : Solver::Result::Assignment::AssignedTrue;  in buildSolution()
267       VarAssignments[Var] = Assignment::Unassigned;  in reverseForcedMoves()
282     const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue  in updateWatchedLiterals()
308           VarAssignments[NewWatchedLitVar] == Assignment::Unassigned)  in updateWatchedLiterals()
356   Assignment decideAssignment(Variable Var) const {  in decideAssignment()
358                ? Assignment::AssignedFalse  in decideAssignment()
359                : Assignment::AssignedTrue;  in decideAssignment()
376       return VarAssignments[Var] == Assignment::Unassigned;  in activeVarsAreUnassigned()
396       if (VarAssignments[Var] != Assignment::Unassigned)  in unassignedVarsFormingWatchedLiteralsAreActive()