Searched refs:Ses_ManExtractGia (Results 1 – 1 of 1) sorted by relevance
1826 static Gia_Man_t * Ses_ManExtractGia( char const * pSol ) in Ses_ManExtractGia() function2473 pGia = Ses_ManExtractGia( pSol ); in Gia_ManFindExact()