Searched refs:Wlc_NtkConvertCex (Results 1 – 1 of 1) sorted by relevance
751 Vec_Wrd_t * Wlc_NtkConvertCex( Vec_Int_t * vFirstTotal, Gia_Man_t * pAbs, Abc_Cex_t * pCex, int fVe… in Wlc_NtkConvertCex() function1060 vValues = Wlc_NtkConvertCex( vFirstTotal, pAbsFull, pCex, fVerbose ); in Wlc_NtkMemAbstract()