Searched refs:Abc_NtkGetBddNodeNum (Results 1 – 3 of 3) sorted by relevance
318 Abc_Print( 1," bdd =%6d", Abc_NtkGetBddNodeNum(pNtk) - nSingles ); in Abc_NtkPrintStats()
246 int Abc_NtkGetBddNodeNum( Abc_Ntk_t * pNtk ) in Abc_NtkGetBddNodeNum() function
993 extern ABC_DLL int Abc_NtkGetBddNodeNum( Abc_Ntk_t * pNtk );