Searched refs:sat_all_but_strict_ineq (Results 1 – 1 of 1) sorted by relevance
1348 Bit_Row sat_all_but_strict_ineq; in strongly_minimize_generators() local1353 sat_all_but_strict_ineq.set(i); in strongly_minimize_generators()1374 const Bit_Row sat_gs_i(sat[i], sat_all_but_strict_ineq); in strongly_minimize_generators()