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

  Synopsis    [Sets the siftMaxSwap parameter of the manager.]

  Description [Sets the siftMaxSwap parameter of the manager. This
  parameter gives the maximum number of swaps that will be attempted
  for each invocation of sifting. The real number of swaps may exceed
  the set limit because the package will always complete the sifting
  of the variable that causes the limit to be reached.]

  SideEffects [None]

  SeeAlso     [Cudd_SetSiftMaxVar Cudd_ReadSiftMaxSwap]

******************************************************************************/
Function
Synopsis    [Sets the siftMaxSwap parameter of the manager.]

Description [Sets the siftMaxSwap parameter of the manager. This
parameter gives the maximum number of swaps that will be attempted
for each invocation of sifting. The real number of swaps may exceed
the set limit because the package will always complete the sifting
of the variable that causes the limit to be reached.]




Function Synopsis [ Sets the siftMaxSwap parameter of the manager . ] Description [ Sets the siftMaxSwap parameter of the manager . This parameter gives the maximum number of swaps that will be attempted for each invocation of sifting . The real number of swaps may exceed the set limit because the package will always complete the sifting of the variable that causes the limit to be reached . ]
void
Cudd_SetSiftMaxSwap(
  DdManager * dd,
  int  sms)
{
    dd->siftMaxSwap = sms;
}
void Cudd_SetSiftMaxSwap ( DdManager * dd , int sms ) { dd -> siftMaxSwap = sms ; }
Function
Synopsis    [Sets the siftMaxSwap parameter of the manager.]
Function Synopsis [ Sets the siftMaxSwap parameter of the manager . ]