Searched refs:impurity (Results 1 – 1 of 1) sorted by relevance
464 unsigned d, int *div_purity, int eq, int *impurity) in add_delta_constraints() argument479 if (impurity) in add_delta_constraints()483 if (p != PURE_VAR && p != PURE_PARAM && !*impurity) in add_delta_constraints()484 *impurity = 1; in add_delta_constraints()587 int impurity = 0; in path_along_delta() local623 div_purity, 1, &impurity); in path_along_delta()625 div_purity, 0, &impurity); in path_along_delta()626 if (impurity) { in path_along_delta()