418   enum class Assignment : int8_t {  enum in clang::dataflow::WatchedLiteralsSolverImpl
429   std::vector<Assignment> VarAssignments;
447     VarAssignments.resize(Formula.LargestVar + 1, Assignment::Unassigned);  in WatchedLiteralsSolverImpl()
491         VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue  in solve()
492                                   ? Assignment::AssignedFalse  in solve()
493                                   : Assignment::AssignedTrue;  in solve()
504             unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse;  in solve()
548   llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment>
550     llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment> Solution;  in buildSolution()
556           VarAssignments[Atomic.first] == Assignment::AssignedFalse  in buildSolution()
557               ? Solver::Result::Assignment::AssignedFalse  in buildSolution()
558               : Solver::Result::Assignment::AssignedTrue;  in buildSolution()
569       VarAssignments[Var] = Assignment::Unassigned;  in reverseForcedMoves()
584     const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue  in updateWatchedLiterals()
609           VarAssignments[NewWatchedLitVar] == Assignment::Unassigned)  in updateWatchedLiterals()
660   Assignment decideAssignment(Variable Var) const {  in decideAssignment()
662                ? Assignment::AssignedFalse  in decideAssignment()
663                : Assignment::AssignedTrue;  in decideAssignment()
680       return VarAssignments[Var] == Assignment::Unassigned;  in activeVarsAreUnassigned()
700       if (VarAssignments[Var] != Assignment::Unassigned)  in unassignedVarsFormingWatchedLiteralsAreActive()