Searched refs:Pdr_SetDup (Results 1 – 4 of 4) sorted by relevance
244 extern Pdr_Set_t * Pdr_SetDup( Pdr_Set_t * pSet );
384 pCtg = Pdr_SetDup( pPred ); in ZPdr_ManDown()406 pCubeMin = Pdr_SetDup ( pCtg ); in ZPdr_ManDown()708 pCubeMin = Pdr_SetDup( pCube ); in Pdr_ManGeneralize()
166 Pdr_Set_t * Pdr_SetDup( Pdr_Set_t * pSet ) in Pdr_SetDup() function
199 Vec_VecPush(vClausesSaved, i, Pdr_SetDup(pCla)); in IPdr_ManSaveClauses()