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

  Synopsis    [Returns the current value of the recombination parameter used
  in group sifting.]

  Description [Returns the current value of the recombination
  parameter used in group sifting. A larger (positive) value makes the
  aggregation of variables due to the second difference criterion more
  likely. A smaller (negative) value makes aggregation less likely.]

  SideEffects [None]

  SeeAlso     [Cudd_SetRecomb]

******************************************************************************/
Function
Synopsis    [Returns the current value of the recombination parameter used
in group sifting.]

Description [Returns the current value of the recombination
parameter used in group sifting. A larger (positive) value makes the
aggregation of variables due to the second difference criterion more
likely. A smaller (negative) value makes aggregation less likely.]




Function Synopsis [ Returns the current value of the recombination parameter used in group sifting . ] Description [ Returns the current value of the recombination parameter used in group sifting . A larger ( positive ) value makes the aggregation of variables due to the second difference criterion more likely . A smaller ( negative ) value makes aggregation less likely . ]
int
Cudd_ReadRecomb(
  DdManager * dd)
{
    return(dd->recomb);
}
int Cudd_ReadRecomb ( DdManager * dd ) { return ( dd -> recomb ) ; }
Function
Synopsis    [Returns the current value of the recombination parameter used
in group sifting.]
Function Synopsis [ Returns the current value of the recombination parameter used in group sifting . ]