Searched refs:vCube0Copy (Results 1 – 1 of 1) sorted by relevance
405 * vCube0Copy = Vec_IntDup( vCube0 ), in Fxch_ManExtractDivFromCubePairs() local408 RetValue = Fxch_DivRemoveLits( vCube0Copy, vCube1Copy, pFxchMan->vDiv, &fCompl ); in Fxch_ManExtractDivFromCubePairs()425 Vec_IntAppend( vCube0, vCube0Copy ); in Fxch_ManExtractDivFromCubePairs()449 Vec_IntAppend( vCube, vCube0Copy ); in Fxch_ManExtractDivFromCubePairs()485 Vec_IntFree( vCube0Copy ); in Fxch_ManExtractDivFromCubePairs()