Searched refs:VarAssignments (Results 1 – 1 of 1) sorted by relevance
495 std::vector<Assignment> VarAssignments; member in clang::dataflow::WatchedLiteralsSolverImpl514 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()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()[all …]