diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-18 14:05:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-18 14:05:00 -0700 |
| commit | ba3f2ac6c02f06f197447326be150dfbd93d1879 (patch) | |
| tree | 3361c17db5fb9fbc8de0cc9f9076fad7dccb68ed /src/opt/dau/dauGia.c | |
| parent | ef55bbc8e619f6ecca808695a772223c696612cc (diff) | |
| download | abc-ba3f2ac6c02f06f197447326be150dfbd93d1879.tar.gz abc-ba3f2ac6c02f06f197447326be150dfbd93d1879.tar.bz2 abc-ba3f2ac6c02f06f197447326be150dfbd93d1879.zip | |
Small changes in several packages.
Diffstat (limited to 'src/opt/dau/dauGia.c')
| -rw-r--r-- | src/opt/dau/dauGia.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/dau/dauGia.c b/src/opt/dau/dauGia.c index ac26c4f3..cf644102 100644 --- a/src/opt/dau/dauGia.c +++ b/src/opt/dau/dauGia.c @@ -373,12 +373,13 @@ int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, Fanins[i] = Dau_DsdToGia_rec( pGia, pStr, p, pMatches, pLits, vCover ); assert( i == nVars ); assert( *p == q ); -// Res = Dau_DsdToGiaCompose_rec( pGia, Func, Fanins, nVars ); vLeaves.nCap = nVars; vLeaves.nSize = nVars; vLeaves.pArray = Fanins; nObjOld = Gia_ManObjNum(pGia); Res = Kit_TruthToGia( pGia, (unsigned *)pFunc, nVars, vCover, &vLeaves, 1 ); +// assert( nVars <= 6 ); +// Res = Dau_DsdToGiaCompose_rec( pGia, pFunc[0], Fanins, nVars ); for ( i = nObjOld; i < Gia_ManObjNum(pGia); i++ ) Gia_ObjSetGateLevel( pGia, Gia_ManObj(pGia, i) ); m_Non1Step++; |