diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 23:40:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 23:40:51 -0700 |
commit | b3e0f5b2e94e5e0da72e1ec7a41f90a3f4d302d7 (patch) | |
tree | c4f8f72566b20bb3a20a296a5af2e94b4df58132 /src/map/mpm/mpmTruth.c | |
parent | 118e40b809712c88fe7ddc530a8b072c1d2649d3 (diff) | |
download | abc-b3e0f5b2e94e5e0da72e1ec7a41f90a3f4d302d7.tar.gz abc-b3e0f5b2e94e5e0da72e1ec7a41f90a3f4d302d7.tar.bz2 abc-b3e0f5b2e94e5e0da72e1ec7a41f90a3f4d302d7.zip |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmTruth.c')
-rw-r--r-- | src/map/mpm/mpmTruth.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/map/mpm/mpmTruth.c b/src/map/mpm/mpmTruth.c index 136b655c..481c6c94 100644 --- a/src/map/mpm/mpmTruth.c +++ b/src/map/mpm/mpmTruth.c @@ -94,6 +94,7 @@ static inline word Mpm_TruthStretch6( word Truth, Mpm_Cut_t * pCut, Mpm_Cut_t * } return Truth; } +//#define MPM_TRY_NEW int Mpm_CutComputeTruth6( Mpm_Man_t * p, Mpm_Cut_t * pCut, Mpm_Cut_t * pCut0, Mpm_Cut_t * pCut1, Mpm_Cut_t * pCutC, int fCompl0, int fCompl1, int fComplC, int Type ) { word * pTruth0 = Mpm_CutTruth( p, Abc_Lit2Var(pCut0->iFunc) ); @@ -129,9 +130,10 @@ int Mpm_CutComputeTruth6( Mpm_Man_t * p, Mpm_Cut_t * pCut, Mpm_Cut_t * pCut0, Mp #ifdef MPM_TRY_NEW { + extern unsigned Abc_TtCanonicize( word * pTruth, int nVars, char * pCanonPerm ); word tCopy = t; char pCanonPerm[16]; - Abc_TtCanonicize( &tCopy, pCut->nLimit, pCanonPerm ); + Abc_TtCanonicize( &tCopy, p->nLutSize, pCanonPerm ); } #endif |