Searched refs:nBufNum (Results 1 – 1 of 1) sorted by relevance
58 int nBufNum; // the number of simple nodes member813 p->nBufNum, p->nDupNum, p->nHashHit, p->nHashMiss, p->nUniProps ); in Saig_Bmc3ManStop()1096 p->nBufNum++; in Saig_ManBmcCreateCnf_rec()