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

  Synopsis    [Allows the sifting of a variable.]

  Description [This function resets the flag that prevents the sifting
  of a variable. In successive variable reorderings, the variable will
  NOT be skipped, that is, sifted.  Initially all variables can be
  sifted. It is necessary to call this function only to re-enable
  sifting after a call to Cudd_bddBindVar. Returns 1 if successful; 0
  otherwise (i.e., invalid variable index).]

  SideEffects [Changes the "bindVar" flag in DdSubtable.]

  SeeAlso     [Cudd_bddBindVar]

******************************************************************************/
Function
Synopsis    [Allows the sifting of a variable.]

Description [This function resets the flag that prevents the sifting
of a variable. In successive variable reorderings, the variable will
NOT be skipped, that is, sifted.  Initially all variables can be
sifted. It is necessary to call this function only to re-enable
sifting after a call to Cudd_bddBindVar. Returns 1 if successful; 0
otherwise .]

SideEffects [Changes the "bindVar" flag in DdSubtable.]


Function Synopsis [ Allows the sifting of a variable . ] Description [ This function resets the flag that prevents the sifting of a variable . In successive variable reorderings the variable will NOT be skipped that is sifted . Initially all variables can be sifted . It is necessary to call this function only to re - enable sifting after a call to Cudd_bddBindVar . Returns 1 if successful ; 0 otherwise . ] SideEffects [ Changes the " bindVar " flag in DdSubtable . ]
int
Cudd_bddUnbindVar(
  DdManager *dd ,
  int index )
{
    if (index >= dd->size || index < 0) return(0);
    dd->subtables[dd->perm[index]].bindVar = 0;
    return(1);
}
int Cudd_bddUnbindVar ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return ( 0 ) ; dd -> subtables [ dd -> perm [ index ] ] . bindVar = 0 ; return ( 1 ) ; }
Function
Synopsis    [Allows the sifting of a variable.]
Function Synopsis [ Allows the sifting of a variable . ]
/* manager */ /* variable index */