ioReadEqn.c File Reference

#include "ioAbc.h"

Include dependency graph for ioReadEqn.c:

Go to the source code of this file.

Functions
Abc_Ntk_t *	Io_ReadEqn (char *pFileName, int fCheck)
	FUNCTION DEFINITIONS ///.

Function Documentation

Io_ReadEqn()

Abc_Ntk_t * Io_ReadEqn	(	char *	pFileName,
		int	fCheck )

FUNCTION DEFINITIONS ///.

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

Synopsis [Reads the network from a BENCH file.]

Description []

SideEffects []

SeeAlso []

Definition at line 50 of file ioReadEqn.c.

{
    Extra_FileReader_t * p;
    Abc_Ntk_t * pNtk;
 
    // start the file
    p = Extra_FileReaderAlloc( pFileName, "#", ";", "=" );
    if ( p == NULL )
        return NULL;
 
    // read the network
    pNtk = Io_ReadEqnNetwork( p );
    Extra_FileReaderFree( p );
    if ( pNtk == NULL )
        return NULL;
 
    // make sure that everything is okay with the network structure
    if ( fCheck && !Abc_NtkCheckRead( pNtk ) )
    {
        printf( "Io_ReadEqn: The network check has failed.\n" );
        Abc_NtkDelete( pNtk );
        return NULL;
    }
    return pNtk;
}

Here is the call graph for this function:

Here is the caller graph for this function: