Searched refs:Gia_ManFromBridgeCex (Results 1 – 1 of 1) sorted by relevance
257 void Gia_ManFromBridgeCex( FILE * pFile, Abc_Cex_t * pCex ) in Gia_ManFromBridgeCex() function290 Gia_ManFromBridgeCex( pFile, pCex ); in Gia_ManToBridgeResult()