Searched refs:pCubeMin (Results 1 – 2 of 2) sorted by relevance
98 Pdr_Set_t * pCubeMin; in Pdr_ManReduceClause() local135 return pCubeMin; in Pdr_ManReduceClause()707 if ( pCubeMin == NULL ) in Pdr_ManGeneralize()714 if ( pCubeMin->nLits > 1 ) in Pdr_ManGeneralize()721 *ppCubeMin = pCubeMin; in Pdr_ManGeneralize()769 Lit = pCubeMin->Lits[i]; pCubeMin->Lits[i] = -1; in Pdr_ManGeneralize()816 pCubeMin = Pdr_SetCreateFrom( pCubeTmp = pCubeMin, i ); in Pdr_ManGeneralize()847 Lit = pCubeMin->Lits[i]; pCubeMin->Lits[i] = -1; in Pdr_ManGeneralize()859 pCubeMin = Pdr_SetCreateFrom( pCubeTmp = pCubeMin, i ); in Pdr_ManGeneralize()877 *ppCubeMin = pCubeMin; in Pdr_ManGeneralize()[all …]
72 Pdr_Set_t * pCubeMin; in IPdr_ManPushClausesK() local73 pCubeMin = Pdr_ManReduceClause( p, k, pCubeK ); in IPdr_ManPushClausesK()74 if ( pCubeMin != NULL ) in IPdr_ManPushClausesK()78 pCubeK = pCubeMin; in IPdr_ManPushClausesK()