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

  Synopsis    [Reads the groupcheck parameter of the manager.]

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

  SideEffects [None]

  SeeAlso     [Cudd_SetGroupcheck]

******************************************************************************/
Function
Synopsis    [Reads the groupcheck parameter of the manager.]

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




Function Synopsis [ Reads the groupcheck parameter of the manager . ] Description [ Reads the groupcheck parameter of the manager . The groupcheck parameter determines the aggregation criterion in group sifting . ]
Cudd_AggregationType
Cudd_ReadGroupcheck(
  DdManager * dd)
{
    return(dd->groupcheck);
}
Cudd_AggregationType Cudd_ReadGroupcheck ( DdManager * dd ) { return ( dd -> groupcheck ) ; }
Function
Synopsis    [Reads the groupcheck parameter of the manager.]
Function Synopsis [ Reads the groupcheck parameter of the manager . ]