Searched refs:Pdr_SetContains (Results 1 – 4 of 4) sorted by relevance
169 if ( !Pdr_SetContains( pTemp, pCubeK ) ) // pCubeK contains pTemp in Pdr_ManPushClauses()200 if ( !Pdr_SetContains( pCubeK1, pCubeK ) ) // pCubeK contains pCubeK1 in Pdr_ManPushClauses()225 if ( !Pdr_SetContains( pTemp, pCubeK ) ) // pCubeK contains pTemp in Pdr_ManPushClauses()262 if ( Pdr_SetContains( pSet, pThis ) ) in Pdr_ManCheckContainment()
248 extern int Pdr_SetContains( Pdr_Set_t * pOld, Pdr_Set_t * pNew );
57 if ( !Pdr_SetContains( pTemp, pCubeK ) ) // pCubeK contains pTemp in IPdr_ManPushClausesK()85 if ( !Pdr_SetContains( pCubeK1, pCubeK ) ) // pCubeK contains pCubeK1 in IPdr_ManPushClausesK()
382 int Pdr_SetContains( Pdr_Set_t * pOld, Pdr_Set_t * pNew ) in Pdr_SetContains() function