giaIso3.c File Reference

#include "gia.h"

Include dependency graph for giaIso3.c:

Go to the source code of this file.

Functions
void	Gia_Iso3Init (Gia_Man_t *p)
void	Gia_Iso3Compute (Gia_Man_t *p, Vec_Int_t *vSign)
int	Gia_Iso3Unique (Vec_Int_t *vSign)
void	Gia_Iso3Test (Gia_Man_t *p)
Vec_Wec_t *	Gia_Iso4Gia (Gia_Man_t *p)
void	Gia_Iso4Test (Gia_Man_t *p)
Vec_Int_t *	Gia_IsoCollectData (Gia_Man_t *p, Vec_Int_t *vObjs)
void	Gia_IsoCompareVecs (Gia_Man_t *pGia0, Vec_Wec_t *vLevs0, Gia_Man_t *pGia1, Vec_Wec_t *vLevs1)
void	Gia_Iso4TestTwo (Gia_Man_t *pGia0, Gia_Man_t *pGia1)

Function Documentation

Gia_Iso3Compute()

void Gia_Iso3Compute	(	Gia_Man_t *	p,
		Vec_Int_t *	vSign )

Definition at line 83 of file giaIso3.c.

{
    Gia_Obj_t * pObj;
    int i;
    Gia_ManForEachObj( p, pObj, i )
    {
        if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) )
            Gia_Iso3ComputeEdge( p, pObj, Gia_ObjFanin0(pObj), Gia_ObjFaninC0(pObj), vSign );
        if ( Gia_ObjIsAnd(pObj) )
            Gia_Iso3ComputeEdge( p, pObj, Gia_ObjFanin1(pObj), Gia_ObjFaninC1(pObj), vSign );
    }
}

Here is the caller graph for this function:

Gia_Iso3Init()

void Gia_Iso3Init

(

Gia_Man_t *

p

)

Definition at line 59 of file giaIso3.c.

{
    Gia_Obj_t * pObj;
    int i;
    Gia_ManForEachObj( p, pObj, i )
        pObj->Value = Gia_Iso3Node( pObj );
}

Here is the caller graph for this function:

Gia_Iso3Test()

void Gia_Iso3Test

(

Gia_Man_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 138 of file giaIso3.c.

{
    int nIterMax = 500;
    int i, Prev = -1, This; 
    abctime clk = Abc_Clock();
    Vec_Int_t * vSign = NULL;
    Gia_Iso3Init( p );
    for ( i = 0; i < nIterMax; i++ )
    {
        vSign = Gia_Iso3Save( p );
//        This = Gia_Iso3Unique( vSign );
        This = Vec_IntUniqueCount( vSign, 1, NULL );
        printf( "Iter %3d : %6d  out of %6d  ", i, This, Vec_IntSize(vSign) );
        Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
        if ( This == Prev )
            break;
        Prev = This;
        Gia_Iso3Compute( p, vSign );
        Vec_IntFreeP( &vSign );
    }
    Vec_IntFreeP( &vSign );
}

Here is the call graph for this function:

Gia_Iso3Unique()

int Gia_Iso3Unique

(

Vec_Int_t *

vSign

)

Definition at line 117 of file giaIso3.c.

{
    int nUnique;
    Vec_Int_t * vCopy = Vec_IntDup( vSign );
    Vec_IntUniqify( vCopy );
    nUnique = Vec_IntSize(vCopy);
    Vec_IntFree( vCopy );
    return nUnique;
}

Gia_Iso4Gia()

Vec_Wec_t * Gia_Iso4Gia

(

Gia_Man_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 172 of file giaIso3.c.

{
    Vec_Wec_t * vLevs = Gia_ManLevelizeR( p );
    Vec_Int_t * vLevel; int l;
    Abc_Random( 1 );
    Vec_WecForEachLevel( vLevs, vLevel, l )
    {
        Gia_Obj_t * pObj;  int i;
        unsigned RandC[2] = { Abc_Random(0), Abc_Random(0) };
        if ( l == 0 )
        {
            Gia_ManForEachObjVec( vLevel, p, pObj, i )
            {
                assert( Gia_ObjIsCo(pObj) );
                pObj->Value = Abc_Random(0);
                Gia_ObjFanin0(pObj)->Value += pObj->Value + RandC[Gia_ObjFaninC0(pObj)];
            }
        }
        else 
        {
            Gia_ManForEachObjVec( vLevel, p, pObj, i ) if ( Gia_ObjIsAnd(pObj) )
            {
                Gia_ObjFanin0(pObj)->Value += pObj->Value + RandC[Gia_ObjFaninC0(pObj)];
                Gia_ObjFanin1(pObj)->Value += pObj->Value + RandC[Gia_ObjFaninC1(pObj)];
            }
        }
    }
    return vLevs;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Gia_Iso4Test()

void Gia_Iso4Test

(

Gia_Man_t *

p

)

Definition at line 201 of file giaIso3.c.

{
    Vec_Wec_t * vLevs = Gia_Iso4Gia( p );
    Vec_Int_t * vLevel; int l;
    Vec_WecForEachLevel( vLevs, vLevel, l )
    {
        Gia_Obj_t * pObj;  int i;
        printf( "Level %d\n", l );
        Gia_ManForEachObjVec( vLevel, p, pObj, i )
            printf( "Obj = %5d.  Value = %08x.\n", Gia_ObjId(p, pObj), pObj->Value );
    }
    Vec_WecFree( vLevs );
}

Here is the call graph for this function:

Gia_Iso4TestTwo()

void Gia_Iso4TestTwo	(	Gia_Man_t *	pGia0,
		Gia_Man_t *	pGia1 )

Definition at line 243 of file giaIso3.c.

{
    Vec_Wec_t * vLevs0 = Gia_Iso4Gia( pGia0 );
    Vec_Wec_t * vLevs1 = Gia_Iso4Gia( pGia1 );
    Gia_IsoCompareVecs( pGia0, vLevs0, pGia1, vLevs1 );
    Vec_WecFree( vLevs0 );
    Vec_WecFree( vLevs1 );
}

Here is the call graph for this function:

Gia_IsoCollectData()

Vec_Int_t * Gia_IsoCollectData	(	Gia_Man_t *	p,
		Vec_Int_t *	vObjs )

Definition at line 214 of file giaIso3.c.

{
    Gia_Obj_t * pObj;  int i;
    Vec_Int_t * vData = Vec_IntAlloc( Vec_IntSize(vObjs) );
    Gia_ManForEachObjVec( vObjs, p, pObj, i )
        Vec_IntPush( vData, pObj->Value );
    return vData;
}

Here is the caller graph for this function:

Gia_IsoCompareVecs()

void Gia_IsoCompareVecs	(	Gia_Man_t *	pGia0,
		Vec_Wec_t *	vLevs0,
		Gia_Man_t *	pGia1,
		Vec_Wec_t *	vLevs1 )

Definition at line 222 of file giaIso3.c.

{
    int i, Common, nLevels = Abc_MinInt( Vec_WecSize(vLevs0), Vec_WecSize(vLevs1) );
    Gia_ManPrintStats( pGia0, NULL );
    Gia_ManPrintStats( pGia1, NULL );
    printf( "Printing %d shared levels:\n", nLevels );
    for ( i = 0; i < nLevels; i++ )
    {
        Vec_Int_t * vLev0 = Vec_WecEntry(vLevs0, i);
        Vec_Int_t * vLev1 = Vec_WecEntry(vLevs1, i);
        Vec_Int_t * vData0 = Gia_IsoCollectData( pGia0, vLev0 );
        Vec_Int_t * vData1 = Gia_IsoCollectData( pGia1, vLev1 );
        Vec_IntSort( vData0, 0 );
        Vec_IntSort( vData1, 0 );
        Common = Vec_IntTwoCountCommon( vData0, vData1 );
        printf( "Level = %3d. One = %6d. Two = %6d.  Common = %6d.\n", 
            i, Vec_IntSize(vData0)-Common, Vec_IntSize(vData1)-Common, Common );
        Vec_IntFree( vData0 );
        Vec_IntFree( vData1 );        
    }
}

Here is the call graph for this function:

Here is the caller graph for this function: