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

  Synopsis    [Sets the siftMaxVar parameter of the manager.]

  Description [Sets the siftMaxVar parameter of the manager. This
  parameter gives the maximum number of variables that will be sifted
  for each invocation of sifting.]

  SideEffects [None]

  SeeAlso     [Cudd_SetSiftMaxSwap Cudd_ReadSiftMaxVar]

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

Description [Sets the siftMaxVar parameter of the manager. This
parameter gives the maximum number of variables that will be sifted
for each invocation of sifting.]




Function Synopsis [ Sets the siftMaxVar parameter of the manager . ] Description [ Sets the siftMaxVar parameter of the manager . This parameter gives the maximum number of variables that will be sifted for each invocation of sifting . ]
void
Cudd_SetSiftMaxVar(
  DdManager * dd,
  int  smv)
{
    dd->siftMaxVar = smv;
}
void Cudd_SetSiftMaxVar ( DdManager * dd , int smv ) { dd -> siftMaxVar = smv ; }
Function
Synopsis    [Sets the siftMaxVar parameter of the manager.]
Function Synopsis [ Sets the siftMaxVar parameter of the manager . ]