Searched refs:pNonDual (Results 1 – 1 of 1) sorted by relevance
2124 Gia_Man_t * pTemp, * pNonDual; in Gia_ManDupTrimmedNonZero() local2128 pNonDual = Gia_ManTransformMiter( p ); in Gia_ManDupTrimmedNonZero()2129 pNonDual = Gia_ManSeqStructSweep( pTemp = pNonDual, 1, 1, 0 ); in Gia_ManDupTrimmedNonZero()2131 assert( Gia_ManPiNum(pNonDual) > 0 ); in Gia_ManDupTrimmedNonZero()2132 assert( 2 * Gia_ManPoNum(pNonDual) == Gia_ManPoNum(p) ); in Gia_ManDupTrimmedNonZero()2135 Gia_ManForEachPo( pNonDual, pObj, i ) in Gia_ManDupTrimmedNonZero()2138 Gia_ManStop( pNonDual ); in Gia_ManDupTrimmedNonZero()