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