Searched refs:impurity (Results 1 – 7 of 7) 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()
1a 2A 3Aaron 4AARON 5abaissiez 6abandon 7abandoned 8abase 9Abase 10 ...
12757 $x{impurity → ɪmpjʊrəti ; # ɪmpərɪti
97288 impurity %19503 ɪmpjˈʊrɪti, ˌɪmpjˈʊrəti
82050 impurity %32284 ɪmpjˈʊrɪti, ˌɪmpjˈʊrəti