Searched refs:Gia_ManDupCofInt (Results 1 – 1 of 1) sorted by relevance
780 Gia_Man_t * Gia_ManDupCofInt( Gia_Man_t * p, int iVar ) in Gia_ManDupCofInt() function865 pNew = Gia_ManDupCofInt( p, iVar ); in Gia_ManDupCof()960 pCof = Gia_ManDupCofInt( pAig, iVar ); in Gia_ManDupCofAllInt()