Searched refs:pNtkUsed (Results 1 – 1 of 1) sorted by relevance
28453 Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc), * pNtkUsed, * pNtkFlop = NULL; in Abc_CommandPdr() local28672 pNtkUsed = pNtkFlop ? pNtkFlop : pNtk; in Abc_CommandPdr()28673 pAbc->Status = Abc_NtkDarPdr( pNtkUsed, pPars ); in Abc_CommandPdr()28674 pAbc->nFrames = pNtkUsed->vSeqModelVec ? -1 : pPars->iFrame; in Abc_CommandPdr()28676 if ( pNtkUsed->vSeqModelVec ) in Abc_CommandPdr()28677 Abc_FrameReplaceCexVec( pAbc, &pNtkUsed->vSeqModelVec ); in Abc_CommandPdr()28679 Abc_FrameReplaceCex( pAbc, &pNtkUsed->pSeqModel ); in Abc_CommandPdr()