Searched refs:Gia_ManIsoNpnReduce (Results 1 – 2 of 2) sorted by relevance
557 Gia_Man_t * Gia_ManIsoNpnReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerbose ) in Gia_ManIsoNpnReduce() function
41749 extern Gia_Man_t * Gia_ManIsoNpnReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerbose ); in Abc_CommandAbc9IsoNpn()41782 pAig = Gia_ManIsoNpnReduce( pAbc->pGia, &vPosEquivs, fVerbose ); in Abc_CommandAbc9IsoNpn()