Searched refs:vPrioInit (Results 1 – 2 of 2) sorted by relevance
248 Pdr_Man_t * Pdr_ManStart( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t * vPrioInit ) in Pdr_ManStart() argument264 if ( vPrioInit ) in Pdr_ManStart()265 p->vPrio = vPrioInit; in Pdr_ManStart()
215 extern Pdr_Man_t * Pdr_ManStart( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t * vPrioInit );