Searched refs:reachedy (Results 1 – 1 of 1) sorted by relevance
| /dports/math/cudd/cudd-3.0.0/nanotrav/ |
| H A D | ntr.c | 1192 DdNode *reached, *reachedy, *reachedx; in Ntr_ClosureTrav() local
1212 reachedy = Cudd_bddClippingAndAbstract(dd,T,init,TR->icube[0], in Ntr_ClosureTrav()
1215 reachedy = Cudd_bddAndAbstract(dd,T,init,TR->icube[0]); in Ntr_ClosureTrav()
1217 if (reachedy == NULL) return(0); in Ntr_ClosureTrav()
1218 Cudd_Ref(reachedy); in Ntr_ClosureTrav()
1221 reachedx = Cudd_bddSwapVariables(dd,reachedy,TR->x,TR->y,TR->nlatches); in Ntr_ClosureTrav()
1224 Cudd_RecursiveDeref(dd,reachedy); in Ntr_ClosureTrav()
|