Searched refs:sat_gs_i (Results 1 – 1 of 1) sorted by relevance
1374 const Bit_Row sat_gs_i(sat[i], sat_all_but_strict_ineq); in strongly_minimize_generators() local1381 if (i != j && g2.is_point() && subset_or_equal(sat[j], sat_gs_i)) { in strongly_minimize_generators()