ioWriteEqn.c File Reference

#include "ioAbc.h"

Include dependency graph for ioWriteEqn.c:

Go to the source code of this file.

Functions
void	Io_WriteEqn (Abc_Ntk_t *pNtk, char *pFileName)
	FUNCTION DEFINITIONS ///.
char *	Io_NamePrepro (char *pName)

Function Documentation

Io_NamePrepro()

char * Io_NamePrepro

(

char *

pName

)

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

Synopsis [Write one network.]

Description []

SideEffects []

SeeAlso []

Definition at line 88 of file ioWriteEqn.c.

{
    return strncmp(pName, "new_", 4) ? pName : pName + 4;    
}

Here is the call graph for this function:

Io_WriteEqn()

void Io_WriteEqn	(	Abc_Ntk_t *	pNtk,
		char *	pFileName )

FUNCTION DEFINITIONS ///.

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

Synopsis [Writes the logic network in the equation format.]

Description []

SideEffects []

SeeAlso []

Definition at line 50 of file ioWriteEqn.c.

{
    FILE * pFile;
 
    assert( Abc_NtkIsAigNetlist(pNtk) );
    if ( Abc_NtkLatchNum(pNtk) > 0 )
        printf( "Warning: only combinational portion is being written.\n" );
 
    // check that the names are fine for the EQN format
    if ( !Io_NtkWriteEqnCheck(pNtk) )
        return;
 
    // start the output stream
    pFile = fopen( pFileName, "w" );
    if ( pFile == NULL )
    {
        fprintf( stdout, "Io_WriteEqn(): Cannot open the output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "# Equations for \"%s\" written by ABC on %s\n", pNtk->pName, Extra_TimeStamp() );
 
    // write the equations for the network
    Io_NtkWriteEqnOne( pFile, pNtk );
    fprintf( pFile, "\n" );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function: