Searched refs:gs_sorted (Results 1 – 1 of 1) sorted by relevance
1367 bool gs_sorted = gs.is_sorted(); in strongly_minimize_generators() local1419 gs_sorted = false; in strongly_minimize_generators()1425 gs.set_sorted(gs_sorted); in strongly_minimize_generators()