cudd-2.4.2/cudd/cuddGroup.c
/**Function********************************************************************

  Synopsis    [Pretends to check two variables for aggregation.]

  Description [Pretends to check two variables for aggregation. Always
  returns 0.]

  SideEffects [None]

******************************************************************************/
Function
Synopsis    [Pretends to check two variables for aggregation.]

Description [Pretends to check two variables for aggregation. Always
returns 0.]


Function Synopsis [ Pretends to check two variables for aggregation . ] Description [ Pretends to check two variables for aggregation . Always returns 0 . ]
static int
ddNoCheck(
  DdManager * table,
  int  x,
  int  y)
{
    return(0);
}
static int ddNoCheck ( DdManager * table , int x , int y ) { return ( 0 ) ; }
Function
Synopsis    [Pretends to check two variables for aggregation.]
Function Synopsis [ Pretends to check two variables for aggregation . ]