Searched refs:Pdr_SetCreate (Results 1 – 5 of 5) sorted by relevance
65 Pdr_Set_t * Pdr_SetCreate( Vec_Int_t * vLits, Vec_Int_t * vPiLits ) in Pdr_SetCreate() function324 pIntersection = Pdr_SetCreate( vCommonLits, vPiLits ); in ZPdr_SetIntersection()
241 extern Pdr_Set_t * Pdr_SetCreate( Vec_Int_t * vLits, Vec_Int_t * vPiLits );
349 pRes = Pdr_SetCreate( p->vFfLits, p->vPiLits ); in Txs3_ManTernarySim()
490 pRes = Pdr_SetCreate( vRes, vPiLits ); in Pdr_ManTernarySim()
538 pRes = Pdr_SetCreate( p->vFfLits, p->vPiLits ); in Txs_ManTernarySim()