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