Searched refs:Pdr_SetPrintStr (Results 1 – 3 of 3) sorted by relevance
254 extern void Pdr_SetPrintStr( Vec_Str_t * vStr, Pdr_Set_t * p, int nRegs, Vec_Int_t * vFl…
342 void Pdr_SetPrintStr( Vec_Str_t * vStr, Pdr_Set_t * p, int nRegs, Vec_Int_t * vFlopCounts ) in Pdr_SetPrintStr() function
457 Pdr_SetPrintStr( vStr, pCube, Aig_ManRegNum(p->pAig), vFlopCounts ); in Pdr_ManDumpString()