Searched refs:Pdr_ManGeneralize (Results 1 – 1 of 1) sorted by relevance
681 int Pdr_ManGeneralize( Pdr_Man_t * p, int k, Pdr_Set_t * pCube, Pdr_Set_t ** ppPred, Pdr_Set_t ** p… in Pdr_ManGeneralize() function949 RetValue = Pdr_ManGeneralize( p, pThis->iFrame-1, pThis->pState, &pPred, &pCubeMin ); in Pdr_ManBlockCube()