Searched refs:nhashmapentries (Results 1 – 1 of 1) sorted by relevance
5553 int nhashmapentries; in removeDoubleAndSingletonsAndPerformDualpresolve() local5609 nhashmapentries = 0; in removeDoubleAndSingletonsAndPerformDualpresolve()5912 ++nhashmapentries; in removeDoubleAndSingletonsAndPerformDualpresolve()5915 considxs[nhashmapentries - 1] = c; in removeDoubleAndSingletonsAndPerformDualpresolve()5916 posincons[nhashmapentries - 1] = v; in removeDoubleAndSingletonsAndPerformDualpresolve()5924 assert(image > 0 && image <= nhashmapentries); in removeDoubleAndSingletonsAndPerformDualpresolve()6057 assert(image > 0 && image <= nhashmapentries); in removeDoubleAndSingletonsAndPerformDualpresolve()6079 ++nhashmapentries; in removeDoubleAndSingletonsAndPerformDualpresolve()6082 considxs[nhashmapentries - 1] = c; in removeDoubleAndSingletonsAndPerformDualpresolve()6083 posincons[nhashmapentries - 1] = v; in removeDoubleAndSingletonsAndPerformDualpresolve()[all …]