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

  Synopsis    [Sets the parameter groupcheck of the manager to gc.]

  Description [Sets the parameter groupcheck of the manager to gc. The
  groupcheck parameter determines the aggregation criterion in group
  sifting.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadGroupCheck]

******************************************************************************/
Function
Synopsis    [Sets the parameter groupcheck of the manager to gc.]

Description [Sets the parameter groupcheck of the manager to gc. The
groupcheck parameter determines the aggregation criterion in group
sifting.]




Function Synopsis [ Sets the parameter groupcheck of the manager to gc . ] Description [ Sets the parameter groupcheck of the manager to gc . The groupcheck parameter determines the aggregation criterion in group sifting . ]
void
Cudd_SetGroupcheck(
  DdManager * dd,
  Cudd_AggregationType gc)
{
    dd->groupcheck = gc;
}
void Cudd_SetGroupcheck ( DdManager * dd , Cudd_AggregationType gc ) { dd -> groupcheck = gc ; }
Function
Synopsis    [Sets the parameter groupcheck of the manager to gc.]
Function Synopsis [ Sets the parameter groupcheck of the manager to gc . ]