Searched refs:pAigCSNew (Results 1 – 1 of 1) sorted by relevance
528 Aig_Man_t * pAig, *pAigCS, *pAigCSNew; in Abc_CommandCS_kLiveness() local685 pAigCSNew = introduceAbsorberLogic(pAigCS, &liveIndex_0, &liveIndex_k, absorberCount); in Abc_CommandCS_kLiveness()687 pAigCS = pAigCSNew; in Abc_CommandCS_kLiveness()