Searched refs:noResort (Results 1 – 1 of 1) sorted by relevance
1635 static int noResort = 0; in main() local1654 {OPT_FLAG, "r", (char*)&noResort, "Do not sort or renumber states"}, in main()1764 if( noResort==0 ) ResortStates(&lem); in main()