Lines Matching refs:Assignment
423 enum class Assignment : int8_t { enum in clang::dataflow::WatchedLiteralsSolverImpl
434 std::vector<Assignment> VarAssignments;
452 VarAssignments.resize(Formula.LargestVar + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()
496 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()
497 ? Assignment::AssignedFalse in solve()
498 : Assignment::AssignedTrue; in solve()
509 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()
553 llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment>
555 llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment> Solution; in buildSolution()
561 VarAssignments[Atomic.first] == Assignment::AssignedFalse in buildSolution()
562 ? Solver::Result::Assignment::AssignedFalse in buildSolution()
563 : Solver::Result::Assignment::AssignedTrue; in buildSolution()
574 VarAssignments[Var] = Assignment::Unassigned; in reverseForcedMoves()
589 const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue in updateWatchedLiterals()
614 VarAssignments[NewWatchedLitVar] == Assignment::Unassigned) in updateWatchedLiterals()
665 Assignment decideAssignment(Variable Var) const { in decideAssignment()
667 ? Assignment::AssignedFalse in decideAssignment()
668 : Assignment::AssignedTrue; in decideAssignment()
685 return VarAssignments[Var] == Assignment::Unassigned; in activeVarsAreUnassigned()
705 if (VarAssignments[Var] != Assignment::Unassigned) in unassignedVarsFormingWatchedLiteralsAreActive()