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

  Synopsis    [Resets a variable not to be grouped.]

  Description [Resets a variable not to be grouped.  This function is
  used for lazy sifting.  Returns 1 if successful; 0 otherwise.]

  SideEffects [modifies the manager]

  SeeAlso     [Cudd_bddSetVarToBeGrouped Cudd_bddSetVarHardGroup]

******************************************************************************/
Function
Synopsis    [Resets a variable not to be grouped.]

Description [Resets a variable not to be grouped.  This function is
used for lazy sifting.  Returns 1 if successful; 0 otherwise.]

SideEffects [modifies the manager]


Function Synopsis [ Resets a variable not to be grouped . ] Description [ Resets a variable not to be grouped . This function is used for lazy sifting . Returns 1 if successful ; 0 otherwise . ] SideEffects [ modifies the manager ]
int
Cudd_bddResetVarToBeGrouped(
  DdManager *dd,
  int index)
{
    if (index >= dd->size || index < 0) return(0);
    if (dd->subtables[dd->perm[index]].varToBeGrouped <=
        CUDD_LAZY_SOFT_GROUP) {
        dd->subtables[dd->perm[index]].varToBeGrouped = CUDD_LAZY_NONE;
    }
    return(1);
}
int Cudd_bddResetVarToBeGrouped ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return ( 0 ) ; if ( dd -> subtables [ dd -> perm [ index ] ] . varToBeGrouped <= CUDD_LAZY_SOFT_GROUP ) { dd -> subtables [ dd -> perm [ index ] ] . varToBeGrouped = CUDD_LAZY_NONE ; } return ( 1 ) ; }
Function
Synopsis    [Resets a variable not to be grouped.]
Function Synopsis [ Resets a variable not to be grouped . ]