Searched refs:considxs (Results 1 – 1 of 1) sorted by relevance
5538 int* considxs; in removeDoubleAndSingletonsAndPerformDualpresolve() local5915 considxs[nhashmapentries - 1] = c; in removeDoubleAndSingletonsAndPerformDualpresolve()5926 consindex = considxs[image - 1]; in removeDoubleAndSingletonsAndPerformDualpresolve()5937 considxs[image - 1] = -1; in removeDoubleAndSingletonsAndPerformDualpresolve()6059 assert(0 <= considxs[image - 1] && considxs[image - 1] < nconss); in removeDoubleAndSingletonsAndPerformDualpresolve()6060 …ss[considxs[image - 1]]) || chgtype[considxs[image - 1]] || (0 <= posincons[image - 1] && posincon… in removeDoubleAndSingletonsAndPerformDualpresolve()6062 considxs[image - 1] = -1; in removeDoubleAndSingletonsAndPerformDualpresolve()6082 considxs[nhashmapentries - 1] = c; in removeDoubleAndSingletonsAndPerformDualpresolve()6105 consindex = considxs[image - 1]; in removeDoubleAndSingletonsAndPerformDualpresolve()6116 considxs[image - 1] = -1; in removeDoubleAndSingletonsAndPerformDualpresolve()[all …]