Searched refs:CountShared (Results 1 – 1 of 1) sorted by relevance
3022 int i, v, Res, nSupp, CountShared = 0, pGraph[12] = {0}; in Abc_TtProcessBiDecInt() local3035 if ( ++CountShared > 2*nSuppLim - nVars ) in Abc_TtProcessBiDecInt()