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

  Synopsis    [Tells whether a variable can be sifted.]

  Description [This function returns 1 if a variable is enabled for
  sifting.  Initially all variables can be sifted. This function returns
  0 only if there has been a previous call to Cudd_bddBindVar for that
  variable not followed by a call to Cudd_bddUnbindVar. The function returns
  0 also in the case in which the index of the variable is out of bounds.]

  SideEffects [none]

  SeeAlso     [Cudd_bddBindVar Cudd_bddUnbindVar]

******************************************************************************/
Function
Synopsis    [Tells whether a variable can be sifted.]

Description [This function returns 1 if a variable is enabled for
sifting.  Initially all variables can be sifted. This function returns
0 only if there has been a previous call to Cudd_bddBindVar for that
variable not followed by a call to Cudd_bddUnbindVar. The function returns
0 also in the case in which the index of the variable is out of bounds.]




Function Synopsis [ Tells whether a variable can be sifted . ] Description [ This function returns 1 if a variable is enabled for sifting . Initially all variables can be sifted . This function returns 0 only if there has been a previous call to Cudd_bddBindVar for that variable not followed by a call to Cudd_bddUnbindVar . The function returns 0 also in the case in which the index of the variable is out of bounds . ]
int
Cudd_bddVarIsBound(
  DdManager *dd ,
  int index )
{
    if (index >= dd->size || index < 0) return(0);
    return(dd->subtables[dd->perm[index]].bindVar);
}
int Cudd_bddVarIsBound ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return ( 0 ) ; return ( dd -> subtables [ dd -> perm [ index ] ] . bindVar ) ; }
Function
Synopsis    [Tells whether a variable can be sifted.]
Function Synopsis [ Tells whether a variable can be sifted . ]
/* manager */ /* variable index */