abc/src/bdd/cudd/cuddTable.c
/**Function********************************************************************

  Synopsis    [Fixes a variable tree after the insertion of new subtables.]

  Description [Fixes a variable tree after the insertion of new subtables.
  After such an insertion, the low fields of the tree below the insertion
  point are inconsistent.]

  SideEffects [None]

  SeeAlso     []

******************************************************************************/
Function
Synopsis    [Fixes a variable tree after the insertion of new subtables.]

Description [Fixes a variable tree after the insertion of new subtables.
After such an insertion, the low fields of the tree below the insertion
point are inconsistent.]




Function Synopsis [ Fixes a variable tree after the insertion of new subtables . ] Description [ Fixes a variable tree after the insertion of new subtables . After such an insertion the low fields of the tree below the insertion point are inconsistent . ]
static void
ddPatchTree(
  DdManager *dd,
  MtrNode *treenode)
{
    MtrNode *auxnode = treenode;
    while (auxnode != NULL) {
        auxnode->low = dd->perm[auxnode->index];
        if (auxnode->child != NULL) {
            ddPatchTree(dd, auxnode->child);
        }
        auxnode = auxnode->younger;
    }
    return;
}
static void ddPatchTree ( DdManager * dd , MtrNode * treenode ) { MtrNode * auxnode = treenode ; while ( auxnode != NULL ) { auxnode -> low = dd -> perm [ auxnode -> index ] ; if ( auxnode -> child != NULL ) { ddPatchTree ( dd , auxnode -> child ) ; } auxnode = auxnode -> younger ; } return ; }
Function
Synopsis    [Fixes a variable tree after the insertion of new subtables.]
Function Synopsis [ Fixes a variable tree after the insertion of new subtables . ]