Searched refs:VarAssignments (Results 1 – 1 of 1) sorted by relevance
99 std::vector<Assignment> VarAssignments; member in clang::dataflow::__anondce44e890111::WatchedLiteralsSolverImpl135 VarAssignments.resize(CNF.largestVar() + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()190 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()202 VarAssignments[ActiveVar] = in solve()226 VarAssignments[ActiveVar] = decideAssignment(ActiveVar); in solve()254 VarAssignments[Atomic.first] == Assignment::AssignedFalse 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()348 return static_cast<int8_t>(VarAssignments[var(Lit)]) == in isCurrentlyFalse()[all …]