diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:00:47 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:00:47 -0800 |
| commit | ddab80aea4cea4bbdcd4aa17dd1be893e50961b1 (patch) | |
| tree | 0705c113b9885c267ff9ab8fb25154ab75cc1db9 /src/opt/dau/dauTree.c | |
| parent | be7a4e4259ca68c9ab3238c6fdd5a69728e98436 (diff) | |
| download | abc-ddab80aea4cea4bbdcd4aa17dd1be893e50961b1.tar.gz abc-ddab80aea4cea4bbdcd4aa17dd1be893e50961b1.tar.bz2 abc-ddab80aea4cea4bbdcd4aa17dd1be893e50961b1.zip | |
Isolating BMC code into a separate package.
Diffstat (limited to 'src/opt/dau/dauTree.c')
| -rw-r--r-- | src/opt/dau/dauTree.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c index 22d157c6..1c11b6e2 100644 --- a/src/opt/dau/dauTree.c +++ b/src/opt/dau/dauTree.c @@ -201,7 +201,7 @@ void Dss_NtkPrint( Dss_Ntk_t * p ) { printf( "%s", Dss_IsComplement(p->pRoot) ? "!":"" ); if ( Dss_Regular(p->pRoot)->Type == DAU_DSD_VAR ) - printf( "%s%d", Dss_Regular(p->pRoot)->iVar ); + printf( "%c", 'a' + Dss_Regular(p->pRoot)->iVar ); else Dss_NtkPrint_rec( p, Dss_Regular(p->pRoot) ); } @@ -388,7 +388,6 @@ void Dss_NtkCheck( Dss_Ntk_t * p ) void Dss_NtkTransform( Dss_Ntk_t * p ) { Dss_Obj_t * pChildren[DAU_MAX_VAR]; - Vec_Ptr_t Fanins, * vFanins = &Fanins; Dss_Obj_t * pObj, * pChild; int i, k; Dss_NtkForEachNode( p, pObj, i ) @@ -569,7 +568,7 @@ Dss_Man_t * Dss_ManAlloc( int nVars ) p = ABC_CALLOC( Dss_Man_t, 1 ); p->nVars = nVars; p->nBins = Abc_PrimeCudd( 1000 ); - p->pBins = ABC_CALLOC( int, p->nBins ); + p->pBins = ABC_CALLOC( unsigned, p->nBins ); p->pMem = Mem_FlexStart(); p->vObjs = Vec_PtrAlloc( 1000 ); Dss_ObjAlloc( p, DAU_DSD_CONST0, 0, 0 ); |