Searched refs:Gia_ManFromIfAig (Results 1 – 1 of 1) sorted by relevance
911 Gia_Man_t * Gia_ManFromIfAig( If_Man_t * pIfMan ) in Gia_ManFromIfAig() function2345 pNew = Gia_ManFromIfAig( pIfMan ); in Gia_ManPerformMappingInt()2441 pNew = Gia_ManFromIfAig( pIfMan ); in Gia_ManPerformSopBalance()2474 pNew = Gia_ManFromIfAig( pIfMan ); in Gia_ManPerformDsdBalance()