Searched refs:Abc_NtkGetBufNum (Results 1 – 3 of 3) sorted by relevance
240 int nSingles = fSkipBuf ? Abc_NtkGetBufNum(pNtk) : 0; in Abc_NtkPrintStats()
422 int Abc_NtkGetBufNum( Abc_Ntk_t * pNtk ) in Abc_NtkGetBufNum() function
999 extern ABC_DLL int Abc_NtkGetBufNum( Abc_Ntk_t * pNtk );