Searched refs:x_non_redundant (Results 1 – 2 of 2) sorted by relevance
3384 std::vector<Bit_Row> x_non_redundant; in simplify_using_context_assign() local3385 x.non_redundant_matrix_entries(x_non_redundant); in simplify_using_context_assign()3388 for (size_t i = x_non_redundant.size(); i-- > 0 ; ) { in simplify_using_context_assign()3389 x_num_non_redundant += x_non_redundant[i].count_ones(); in simplify_using_context_assign()3511 const Bit_Row& x_non_redundant_i = x_non_redundant[i]; in simplify_using_context_assign()3521 else if (!x_non_redundant[j][i]) { in simplify_using_context_assign()
74438 std::vector<Bit_Row> x_non_redundant;74439 x.non_redundant_matrix_entries(x_non_redundant);74442 for (size_t i = x_non_redundant.size(); i-- > 0 ; ) {74443 x_num_non_redundant += x_non_redundant[i].count_ones();74565 const Bit_Row& x_non_redundant_i = x_non_redundant[i];74575 else if (!x_non_redundant[j][i]) {