ivyShow.c File Reference

#include "ivy.h"

Include dependency graph for ivyShow.c:

Go to the source code of this file.

Functions
void	Ivy_ManShow (Ivy_Man_t *pMan, int fHaig, Vec_Ptr_t *vBold)
	FUNCTION DEFINITIONS ///.

Function Documentation

Ivy_ManShow()

void Ivy_ManShow	(	Ivy_Man_t *	pMan,
		int	fHaig,
		Vec_Ptr_t *	vBold )

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 47 of file ivyShow.c.

{
    extern void Abc_ShowFile( char * FileNameDot, int fKeepDot );
    static int Counter = 0;
    char FileNameDot[200];
    FILE * pFile;
    // create the file name
//    Ivy_ShowGetFileName( pMan->pName, FileNameDot );
    sprintf( FileNameDot, "temp%02d.dot", Counter++ );
    // check that the file can be opened
    if ( (pFile = fopen( FileNameDot, "w" )) == NULL )
    {
        fprintf( stdout, "Cannot open the intermediate file \"%s\".\n", FileNameDot );
        return;
    }
    fclose( pFile );
    // generate the file
    Ivy_WriteDotAig( pMan, FileNameDot, fHaig, vBold );
    // visualize the file 
    Abc_ShowFile( FileNameDot, 0 );
}

Here is the call graph for this function: