Searched refs:vCommonLits (Results 1 – 1 of 1) sorted by relevance
286 Vec_Int_t * vCommonLits, * vPiLits; in ZPdr_SetIntersection() local291 vCommonLits = Vec_IntAlloc( nLits ); in ZPdr_SetIntersection()300 Vec_IntFree( vCommonLits ); in ZPdr_SetIntersection()311 Vec_IntFree( vCommonLits ); in ZPdr_SetIntersection()319 Vec_IntPush( vCommonLits, p1->Lits[i] ); in ZPdr_SetIntersection()324 pIntersection = Pdr_SetCreate( vCommonLits, vPiLits ); in ZPdr_SetIntersection()325 Vec_IntFree( vCommonLits ); in ZPdr_SetIntersection()