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

  Synopsis    [Checks whether a variables is already handled.]

  Description [Checks whether a variables is already handled. This
  function is used for lazy sifting.]

  SideEffects [none]

  SeeAlso     []

******************************************************************************/
Function
Synopsis    [Checks whether a variables is already handled.]

Description [Checks whether a variables is already handled. This
function is used for lazy sifting.]




Function Synopsis [ Checks whether a variables is already handled . ] Description [ Checks whether a variables is already handled . This function is used for lazy sifting . ]
static int
ddIsVarHandled(
  DdManager *dd,
  int index)
{
    if (index >= dd->size || index < 0) return(-1);
    return dd->subtables[dd->perm[index]].varHandled;
}
static int ddIsVarHandled ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return ( -1 ) ; return dd -> subtables [ dd -> perm [ index ] ] . varHandled ; }
Function
Synopsis    [Checks whether a variables is already handled.]
Function Synopsis [ Checks whether a variables is already handled . ]