Searched refs:permSortConsdata (Results 1 – 1 of 1) sorted by relevance
3309 void permSortConsdata( in permSortConsdata() function3415 permSortConsdata(consdata, perm, consdata->nvars); in consdataSort()11590 permSortConsdata(consdata, perm, nvars); in simplifyInequalities()