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

  Synopsis    [Reads the stderr of a manager.]

  Description [Reads the stderr of a manager. This is the file pointer to
  which messages normally going to stderr are written. It is initialized
  to stderr. Cudd_SetStderr allows the application to redirect it.]

  SideEffects [None]

  SeeAlso     [Cudd_SetStderr Cudd_ReadStdout]

******************************************************************************/
Function
Synopsis    [Reads the stderr of a manager.]

Description [Reads the stderr of a manager. This is the file pointer to
which messages normally going to stderr are written. It is initialized
to stderr. Cudd_SetStderr allows the application to redirect it.]




Function Synopsis [ Reads the stderr of a manager . ] Description [ Reads the stderr of a manager . This is the file pointer to which messages normally going to stderr are written . It is initialized to stderr . Cudd_SetStderr allows the application to redirect it . ]
FILE *
Cudd_ReadStderr(
  DdManager *dd)
{
    return(dd->err);
}
FILE * Cudd_ReadStderr ( DdManager * dd ) { return ( dd -> err ) ; }
Function
Synopsis    [Reads the stderr of a manager.]
Function Synopsis [ Reads the stderr of a manager . ]