Searched refs:initReord (Results 1 – 1 of 1) sorted by relevance
792 unsigned int initReord = Cudd_ReadReorderings(dd); in Ntr_Trav() local910 if (Cudd_ReadReorderings(dd) > initReord) { in Ntr_Trav()