Searched refs:decideAssignment (Results 1 – 1 of 1) sorted by relevance
605 VarAssignments[ActiveVar] = decideAssignment(ActiveVar); in solve()736 Assignment decideAssignment(Variable Var) const { in decideAssignment() function in clang::dataflow::WatchedLiteralsSolverImpl