diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-25 23:19:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-25 23:19:14 -0700 |
| commit | a1669ff617f0894877b25b5de5ee6ea0edaf40ad (patch) | |
| tree | 1d6b4417a38413960f1c6deddbf94f902f6bd4aa /src/aig/gia/giaIf.c | |
| parent | a66dc0afb6e16b51f89edaa0955865a7d56e373a (diff) | |
| download | abc-a1669ff617f0894877b25b5de5ee6ea0edaf40ad.tar.gz abc-a1669ff617f0894877b25b5de5ee6ea0edaf40ad.tar.bz2 abc-a1669ff617f0894877b25b5de5ee6ea0edaf40ad.zip | |
Unifying representation of mapping in GIA.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index e42cf638..5e6746b9 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -613,6 +613,7 @@ int Gia_ManFromIfLogicNode( Gia_Man_t * pNew, int iObj, Vec_Int_t * vLeaves, Vec int nLeaves = Vec_IntSize(vLeaves); int i, Length, nLutLeaf, nLutLeaf2, nLutRoot, iObjLit1, iObjLit2, iObjLit3; // check simple case +/* static word s_Truths6[6] = { ABC_CONST(0xAAAAAAAAAAAAAAAA), ABC_CONST(0xCCCCCCCCCCCCCCCC), @@ -621,7 +622,6 @@ int Gia_ManFromIfLogicNode( Gia_Man_t * pNew, int iObj, Vec_Int_t * vLeaves, Vec ABC_CONST(0xFFFF0000FFFF0000), ABC_CONST(0xFFFFFFFF00000000) }; -/* if ( *pRes == 0 || ~*pRes == 0 ) return Abc_LitNotCond( 0, ~*pRes == 0 ); for ( i = 0; i < Vec_IntSize(vLeaves); i++ ) |