Searched refs:Abc_NtkAssignIDs (Results 1 – 1 of 1) sorted by relevance
48 Vec_Ptr_t * Abc_NtkAssignIDs( Abc_Ntk_t * pNtk ) in Abc_NtkAssignIDs() function155 vNodes = nFirstFixed ? Abc_NtkAssignIDs2(pNtk) : Abc_NtkAssignIDs(pNtk); in Abc_NtkExtractMfs()