wlnObj.c File Reference

#include "wln.h"

Include dependency graph for wlnObj.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START char *	Wln_ObjName (Wln_Ntk_t *p, int iObj)
	DECLARATIONS ///.
char *	Wln_ObjConstString (Wln_Ntk_t *p, int iObj)
void	Wln_ObjUpdateType (Wln_Ntk_t *p, int iObj, int Type)
void	Wln_ObjSetConst (Wln_Ntk_t *p, int iObj, int NameId)
void	Wln_ObjSetSlice (Wln_Ntk_t *p, int iObj, int SliceId)
void	Wln_ObjAddFanin (Wln_Ntk_t *p, int iObj, int i)
int	Wln_ObjAddFanins (Wln_Ntk_t *p, int iObj, Vec_Int_t *vFanins)
int	Wln_ObjAlloc (Wln_Ntk_t *p, int Type, int Signed, int End, int Beg)
int	Wln_ObjClone (Wln_Ntk_t *pNew, Wln_Ntk_t *p, int iObj)
int	Wln_ObjCreateCo (Wln_Ntk_t *p, int iFanin)
void	Wln_ObjPrint (Wln_Ntk_t *p, int iObj)

Function Documentation

Wln_ObjAddFanin()

void Wln_ObjAddFanin	(	Wln_Ntk_t *	p,
		int	iObj,
		int	i )

Definition at line 75 of file wlnObj.c.

{ 
    Wln_Vec_t * pVec = p->vFanins + iObj;
    if ( Wln_ObjFaninNum(p, iObj) < 2 )
        pVec->Array[pVec->nSize++] = i;
    else if ( Wln_ObjFaninNum(p, iObj) == 2 )
    {
        int * pArray = ABC_ALLOC( int, 4 );
        pArray[0] = pVec->Array[0];
        pArray[1] = pVec->Array[1];
        pArray[2] = i;
        pVec->pArray[0] = pArray;
        pVec->nSize     = 3;
        pVec->nCap      = 4;
    }
    else 
    {
        if ( pVec->nSize == pVec->nCap )
            pVec->pArray[0] = ABC_REALLOC( int, pVec->pArray[0], (pVec->nCap = 2*pVec->nSize) ); 
        assert( pVec->nSize < pVec->nCap );
        pVec->pArray[0][pVec->nSize++] = i;
    }
}

Here is the caller graph for this function:

Wln_ObjAddFanins()

int Wln_ObjAddFanins	(	Wln_Ntk_t *	p,
		int	iObj,
		Vec_Int_t *	vFanins )

Definition at line 98 of file wlnObj.c.

{
    int i, iFanin;
    Vec_IntForEachEntry( vFanins, iFanin, i )
        Wln_ObjAddFanin( p, iObj, iFanin );
    return iObj;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_ObjAlloc()

int Wln_ObjAlloc	(	Wln_Ntk_t *	p,
		int	Type,
		int	Signed,
		int	End,
		int	Beg )

Definition at line 105 of file wlnObj.c.

{
    int iObj = Vec_IntSize(&p->vTypes);
    if ( iObj == Vec_IntCap(&p->vTypes) )
    {
        p->vFanins = ABC_REALLOC( Wln_Vec_t, p->vFanins, 2 * iObj );
        memset( p->vFanins + iObj, 0, sizeof(Wln_Vec_t) * iObj );
        Vec_IntGrow( &p->vTypes, 2 * iObj );
    }
    assert( iObj == Vec_StrSize(&p->vSigns) );
    assert( iObj == Vec_IntSize(&p->vRanges) );
    Vec_IntPush( &p->vTypes, Type );
    Vec_StrPush( &p->vSigns, (char)Signed );
    Vec_IntPush( &p->vRanges, Hash_Int2ManInsert(p->pRanges, End, Beg, 0) );
    if ( Wln_ObjIsCi(p, iObj) ) Wln_ObjSetFanin( p, iObj, 1, Vec_IntSize(&p->vCis) ), Vec_IntPush( &p->vCis, iObj );
    if ( Wln_ObjIsCo(p, iObj) ) Wln_ObjSetFanin( p, iObj, 1, Vec_IntSize(&p->vCos) ), Vec_IntPush( &p->vCos, iObj );
    if ( Wln_ObjIsFf(p, iObj) ) Vec_IntPush( &p->vFfs, iObj );
    p->nObjs[Type]++;
    return iObj;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_ObjClone()

int Wln_ObjClone	(	Wln_Ntk_t *	pNew,
		Wln_Ntk_t *	p,
		int	iObj )

Definition at line 125 of file wlnObj.c.

{
    return Wln_ObjAlloc( pNew, Wln_ObjType(p, iObj), Wln_ObjIsSigned(p, iObj), Wln_ObjRangeEnd(p, iObj), Wln_ObjRangeBeg(p, iObj) );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_ObjConstString()

char * Wln_ObjConstString	(	Wln_Ntk_t *	p,
		int	iObj )

Definition at line 53 of file wlnObj.c.

{
    assert( Wln_ObjIsConst(p, iObj) );
    return Abc_NamStr( p->pManName, Wln_ObjFanin0(p, iObj) );
}                          

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_ObjCreateCo()

int Wln_ObjCreateCo	(	Wln_Ntk_t *	p,
		int	iFanin )

Definition at line 129 of file wlnObj.c.

{
    int iCo = Wln_ObjClone( p, p, iFanin );
    Wln_ObjUpdateType( p, iCo, ABC_OPER_CO );
    Wln_ObjAddFanin( p, iCo, iFanin );
    return iCo;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_ObjName()

ABC_NAMESPACE_IMPL_START char * Wln_ObjName	(	Wln_Ntk_t *	p,
		int	iObj )

DECLARATIONS ///.

CFile****************************************************************

FileName [wlnObj.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Word-level network.]

Synopsis [Object construction procedures.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 23, 2018.]

Revision [

Id

wlnObj.c,v 1.00 2018/09/23 00:00:00 alanmi Exp

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis [Creating objects.]

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file wlnObj.c.

{
    static char Buffer[100];
    if ( Wln_NtkHasNameId(p) && Wln_ObjNameId(p, iObj) )
        return Abc_NamStr( p->pManName, Wln_ObjNameId(p, iObj) );
    sprintf( Buffer, "n%d", iObj );
    return Buffer;
}                          

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_ObjPrint()

void Wln_ObjPrint	(	Wln_Ntk_t *	p,
		int	iObj )

Definition at line 136 of file wlnObj.c.

{
    int k, iFanin, Type = Wln_ObjType(p, iObj);
    printf( "Obj %6d : Type = %6s  Fanins = %d : ", iObj, Abc_OperName(Type), Wln_ObjFaninNum(p, iObj) );
    Wln_ObjForEachFanin( p, iObj, iFanin, k )
        printf( "%5d ", iFanin );
    printf( "\n" );
}

Here is the caller graph for this function:

Wln_ObjSetConst()

void Wln_ObjSetConst	(	Wln_Ntk_t *	p,
		int	iObj,
		int	NameId )

Definition at line 65 of file wlnObj.c.

{
    assert( Wln_ObjIsConst(p, iObj) );
    Wln_ObjSetFanin( p, iObj, 0, NameId );
}

Here is the caller graph for this function:

Wln_ObjSetSlice()

void Wln_ObjSetSlice	(	Wln_Ntk_t *	p,
		int	iObj,
		int	SliceId )

Definition at line 70 of file wlnObj.c.

{
    assert( Wln_ObjIsSlice(p, iObj) );
    Wln_ObjSetFanin( p, iObj, 1, SliceId );
}

Here is the caller graph for this function:

Wln_ObjUpdateType()

void Wln_ObjUpdateType	(	Wln_Ntk_t *	p,
		int	iObj,
		int	Type )

Definition at line 58 of file wlnObj.c.

{
    assert( Wln_ObjIsNone(p, iObj) );
    p->nObjs[Wln_ObjType(p, iObj)]--;
    Vec_IntWriteEntry( &p->vTypes, iObj, Type );
    p->nObjs[Wln_ObjType(p, iObj)]++;
}

Here is the caller graph for this function: