Searched refs:VarAssignments (Results 1 – 1 of 1) sorted by relevance
429 std::vector<Assignment> VarAssignments; member in clang::dataflow::WatchedLiteralsSolverImpl447 VarAssignments.resize(Formula.LargestVar + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()491 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()503 VarAssignments[ActiveVar] = in solve()527 VarAssignments[ActiveVar] = decideAssignment(ActiveVar); in solve()556 VarAssignments[Atomic.first] == Assignment::AssignedFalse in buildSolution()569 VarAssignments[Var] = Assignment::Unassigned; in reverseForcedMoves()609 VarAssignments[NewWatchedLitVar] == Assignment::Unassigned) in updateWatchedLiterals()650 return static_cast<int8_t>(VarAssignments[var(Lit)]) == in isCurrentlyFalse()680 return VarAssignments[Var] == Assignment::Unassigned; in activeVarsAreUnassigned()[all …]