Searched refs:CUDD_GEN_NONEMPTY (Results 1 – 12 of 12) sorted by relevance
358 gen->status = CUDD_GEN_NONEMPTY; in Cudd_zddFirstPath()444 gen->status = CUDD_GEN_NONEMPTY; in Cudd_zddNextPath()
1879 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstCube()1975 gen->status = CUDD_GEN_NONEMPTY; in Cudd_NextCube()2098 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstPrime()2163 gen->status = CUDD_GEN_NONEMPTY; in Cudd_NextPrime()2427 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstNode()
197 #define CUDD_GEN_NONEMPTY 1 macro
359 gen->status = CUDD_GEN_NONEMPTY; in Cudd_zddFirstPath()445 gen->status = CUDD_GEN_NONEMPTY; in Cudd_zddNextPath()
1895 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstCube()1991 gen->status = CUDD_GEN_NONEMPTY; in Cudd_NextCube()2114 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstPrime()2179 gen->status = CUDD_GEN_NONEMPTY; in Cudd_NextPrime()2443 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstNode()
221 #define CUDD_GEN_NONEMPTY 1 macro
321 gen->status = CUDD_GEN_NONEMPTY; in Cudd_zddFirstPath()407 gen->status = CUDD_GEN_NONEMPTY; in Cudd_zddNextPath()
1969 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstCube()2060 gen->status = CUDD_GEN_NONEMPTY; in Cudd_NextCube()2185 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstPrime()2247 gen->status = CUDD_GEN_NONEMPTY; in Cudd_NextPrime()2511 gen->status = CUDD_GEN_NONEMPTY; in Cudd_FirstNode()
167 #define CUDD_GEN_NONEMPTY 1 macro