Searched refs:VarAssignments (Results 1 – 1 of 1) sorted by relevance
434 std::vector<Assignment> VarAssignments; member in clang::dataflow::WatchedLiteralsSolverImpl452 VarAssignments.resize(Formula.LargestVar + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()496 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()508 VarAssignments[ActiveVar] = in solve()532 VarAssignments[ActiveVar] = decideAssignment(ActiveVar); in solve()561 VarAssignments[Atomic.first] == Assignment::AssignedFalse 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()655 return static_cast<int8_t>(VarAssignments[var(Lit)]) == in isCurrentlyFalse()[all …]