Searched refs:zResE (Results 1 – 1 of 1) sorted by relevance
1816 DdNode *zResE, *zResP, *zResN; in extraZddPrimes() local1852 zResE = zP0; in extraZddPrimes()1860 Cudd_RecursiveDerefZdd( dd, zResE ); in extraZddPrimes()1873 zResE = zP1; in extraZddPrimes()1881 Cudd_RecursiveDerefZdd( dd, zResE ); in extraZddPrimes()1892 zResE = extraZddPrimes( dd, bF01 ); in extraZddPrimes()1893 if ( zResE == NULL ) in extraZddPrimes()1900 cuddRef( zResE ); in extraZddPrimes()1904 zResN = cuddZddDiff( dd, zP0, zResE ); in extraZddPrimes()1907 Cudd_RecursiveDerefZdd( dd, zResE ); in extraZddPrimes()[all …]