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

  Synopsis    [Reads the stdout of a manager.]

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

  SideEffects [None]

  SeeAlso     [Cudd_SetStdout Cudd_ReadStderr]

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

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




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