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

  Synopsis    [Sets the background constant of the manager.]

  Description [Sets the background constant of the manager. It assumes
  that the DdNode pointer bck is already referenced.]

  SideEffects [None]

******************************************************************************/
Function
Synopsis    [Sets the background constant of the manager.]

Description [Sets the background constant of the manager. It assumes
that the DdNode pointer bck is already referenced.]


Function Synopsis [ Sets the background constant of the manager . ] Description [ Sets the background constant of the manager . It assumes that the DdNode pointer bck is already referenced . ]
void
Cudd_SetBackground(
  DdManager * dd,
  DdNode * bck)
{
    dd->background = bck;
}
void Cudd_SetBackground ( DdManager * dd , DdNode * bck ) { dd -> background = bck ; }
Function
Synopsis    [Sets the background constant of the manager.]
Function Synopsis [ Sets the background constant of the manager . ]