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