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

  Synopsis    [Sets a variable to be a hard group.]

  Description [Sets a variable to be a hard group.  This function is used
  for lazy sifting.  Returns 1 if successful; 0 otherwise.]

  SideEffects [modifies the manager]

  SeeAlso     [Cudd_bddSetVarToBeGrouped Cudd_bddResetVarToBeGrouped
  Cudd_bddIsVarHardGroup]

******************************************************************************/
Function
Synopsis    [Sets a variable to be a hard group.]

Description [Sets a variable to be a hard group.  This function is used
for lazy sifting.  Returns 1 if successful; 0 otherwise.]

SideEffects [modifies the manager]


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