Searched refs:Gia_ManEquivFilter (Results 1 – 2 of 2) sorted by relevance
1616 void Gia_ManEquivFilter( Gia_Man_t * p, Vec_Int_t * vPoIds, int fVerbose ) in Gia_ManEquivFilter() function1703 Gia_ManEquivFilter( p, vPoIds, 1 ); in Gia_ManEquivFilterTest()
36519 extern void Gia_ManEquivFilter( Gia_Man_t * p, Vec_Int_t * vPoIds, int fVerbose ); in Abc_CommandAbc9EquivFilter()36540 Gia_ManEquivFilter( pAbc->pGia, pAbc->vAbcObjIds, fVerbose ); in Abc_CommandAbc9EquivFilter()