Searched refs:x_non_redundant_i (Results 1 – 2 of 2) sorted by relevance
3511 const Bit_Row& x_non_redundant_i = x_non_redundant[i]; in simplify_using_context_assign() local3517 if (!x_non_redundant_i[j]) { in simplify_using_context_assign()
74565 const Bit_Row& x_non_redundant_i = x_non_redundant[i];74571 if (!x_non_redundant_i[j]) {