Searched refs:pObl (Results 1 – 3 of 3) sorted by relevance
411 Pdr_Obl_t * pObl; in Pdr_ManDeriveCex() local414 for ( pObl = p->pQueue; pObl; pObl = pObl->pNext ) in Pdr_ManDeriveCex()420 for ( pObl = p->pQueue, f = 0; pObl; pObl = pObl->pNext, f++ ) in Pdr_ManDeriveCex()421 for ( i = pObl->pState->nLits; i < pObl->pState->nTotal; i++ ) in Pdr_ManDeriveCex()423 Lit = pObl->pState->Lits[i]; in Pdr_ManDeriveCex()454 Pdr_Obl_t * pObl; in Pdr_ManDeriveCexAbs() local468 for ( pObl = p->pQueue; pObl; pObl = pObl->pNext ) in Pdr_ManDeriveCexAbs()470 for ( i = pObl->pState->nLits; i < pObl->pState->nTotal; i++ ) in Pdr_ManDeriveCexAbs()472 Lit = pObl->pState->Lits[i]; in Pdr_ManDeriveCexAbs()501 for ( pObl = p->pQueue, f = 0; pObl; pObl = pObl->pNext, f++ ) in Pdr_ManDeriveCexAbs()[all …]
657 Pdr_OblRef( pObl ); in Pdr_QueuePush()660 p->pQueue = pObl; in Pdr_QueuePush()664 … if ( pTemp->iFrame > pObl->iFrame || (pTemp->iFrame == pObl->iFrame && pTemp->prio > pObl->prio) ) in Pdr_QueuePush()666 *ppPrev = pObl; in Pdr_QueuePush()667 pObl->pLink = pTemp; in Pdr_QueuePush()683 Pdr_Obl_t * pObl; in Pdr_QueuePrint() local684 for ( pObl = p->pQueue; pObl; pObl = pObl->pLink ) in Pdr_QueuePrint()685 Abc_Print( 1, "Frame = %2d. Prio = %8d.\n", pObl->iFrame, pObl->prio ); in Pdr_QueuePrint()701 Pdr_Obl_t * pObl; in Pdr_QueueStop() local704 pObl = Pdr_QueuePop(p); in Pdr_QueueStop()[all …]
263 extern void Pdr_QueuePush( Pdr_Man_t * p, Pdr_Obl_t * pObl );