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

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

  Description [Sets the 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. The default
  value is 0.]

  SideEffects [Changes the manager.]

  SeeAlso     [Cudd_ReadRecomb]

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

Description [Sets the 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. The default
value is 0.]

SideEffects [Changes the manager.]


Function Synopsis [ Sets the value of the recombination parameter used in group sifting . ] Description [ Sets the 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 . The default value is 0 . ] SideEffects [ Changes the manager . ]
void
Cudd_SetRecomb(
  DdManager * dd,
  int  recomb)
{
    dd->recomb = recomb;
}
void Cudd_SetRecomb ( DdManager * dd , int recomb ) { dd -> recomb = recomb ; }
Function
Synopsis    [Sets the value of the recombination parameter used in group
sifting.]
Function Synopsis [ Sets the value of the recombination parameter used in group sifting . ]