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

  Synopsis    [Reads the siftMaxVar parameter of the manager.]

  Description [Reads 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_ReadSiftMaxSwap Cudd_SetSiftMaxVar]

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

Description [Reads 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 [ Reads the siftMaxVar parameter of the manager . ] Description [ Reads the siftMaxVar parameter of the manager . This parameter gives the maximum number of variables that will be sifted for each invocation of sifting . ]
int
Cudd_ReadSiftMaxVar(
  DdManager * dd)
{
    return(dd->siftMaxVar);
}
int Cudd_ReadSiftMaxVar ( DdManager * dd ) { return ( dd -> siftMaxVar ) ; }
Function
Synopsis    [Reads the siftMaxVar parameter of the manager.]
Function Synopsis [ Reads the siftMaxVar parameter of the manager . ]