abcOrder.c File Reference

#include "base/abc/abc.h"

Include dependency graph for abcOrder.c:

Go to the source code of this file.

Functions
void	Abc_NtkFindCiOrder (Abc_Ntk_t *pNtk, int fReverse, int fVerbose)
	FUNCTION DEFINITIONS ///.
void	Abc_NtkImplementCiOrder (Abc_Ntk_t *pNtk, char *pFileName, int fReverse, int fVerbose)

Function Documentation

Abc_NtkFindCiOrder()

void Abc_NtkFindCiOrder	(	Abc_Ntk_t *	pNtk,
		int	fReverse,
		int	fVerbose )

FUNCTION DEFINITIONS ///.

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

Synopsis [Changes the order of primary inputs.]

Description []

SideEffects []

SeeAlso []

Definition at line 47 of file abcOrder.c.

{
    Vec_Ptr_t * vSupp;
    vSupp = Abc_NtkSupport( pNtk );
    Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse );
    Vec_PtrFree( vSupp );
}

Here is the call graph for this function:

Abc_NtkImplementCiOrder()

void Abc_NtkImplementCiOrder	(	Abc_Ntk_t *	pNtk,
		char *	pFileName,
		int	fReverse,
		int	fVerbose )

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

Synopsis [Implements the given variable order.]

Description []

SideEffects []

SeeAlso []

Definition at line 66 of file abcOrder.c.

{
    char Buffer[1000];
    FILE * pFile;
    Vec_Ptr_t * vSupp;
    Abc_Obj_t * pObj;
    pFile = fopen( pFileName, "r" );
    vSupp = Vec_PtrAlloc( Abc_NtkCiNum(pNtk) );
    while ( fscanf( pFile, "%s", Buffer ) == 1 )
    {
        pObj = Abc_NtkFindCi( pNtk, Buffer );
        if ( pObj == NULL || !Abc_ObjIsCi(pObj) )
        {
            printf( "Name \"%s\" is not a PI name. Cannot use this order.\n", Buffer );
            Vec_PtrFree( vSupp );
            fclose( pFile );
            return;
        }
        Vec_PtrPush( vSupp, pObj );
    }
    fclose( pFile );
    if ( Vec_PtrSize(vSupp) != Abc_NtkCiNum(pNtk) )
    {
        printf( "The number of names in the order (%d) is not the same as the number of PIs (%d).\n", Vec_PtrSize(vSupp), Abc_NtkCiNum(pNtk) );
        Vec_PtrFree( vSupp );
        return;
    }
    Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse );
    Vec_PtrFree( vSupp );
}

Here is the call graph for this function: