Lines Matching refs:moveDown
585 Move *moveDown; /* list of down move */ in cuddZddLinearAux() local
596 moveDown = NULL; in cuddZddLinearAux()
600 moveDown = cuddZddLinearDown(table, x, xHigh, NULL); in cuddZddLinearAux()
602 if (moveDown == (Move *) CUDD_OUT_OF_MEM) in cuddZddLinearAux()
605 result = cuddZddLinearBackward(table, initial_size, moveDown); in cuddZddLinearAux()
620 moveDown = cuddZddLinearDown(table, x, xHigh, NULL); in cuddZddLinearAux()
622 if (moveDown == (Move *) CUDD_OUT_OF_MEM) in cuddZddLinearAux()
624 moveUp = cuddZddUndoMoves(table,moveDown); in cuddZddLinearAux()
642 moveDown = cuddZddUndoMoves(table,moveUp); in cuddZddLinearAux()
644 assert(moveDown == NULL || moveDown->y == x); in cuddZddLinearAux()
646 moveDown = cuddZddLinearDown(table, x, xHigh, moveDown); in cuddZddLinearAux()
647 if (moveDown == (Move *) CUDD_OUT_OF_MEM) in cuddZddLinearAux()
650 result = cuddZddLinearBackward(table, initial_size, moveDown); in cuddZddLinearAux()
655 while (moveDown != NULL) { in cuddZddLinearAux()
656 move = moveDown->next; in cuddZddLinearAux()
657 cuddDeallocMove(table, moveDown); in cuddZddLinearAux()
658 moveDown = move; in cuddZddLinearAux()
669 if (moveDown != (Move *) CUDD_OUT_OF_MEM) { in cuddZddLinearAux()
670 while (moveDown != NULL) { in cuddZddLinearAux()
671 move = moveDown->next; in cuddZddLinearAux()
672 cuddDeallocMove(table, moveDown); in cuddZddLinearAux()
673 moveDown = move; in cuddZddLinearAux()