diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:32:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:32:07 -0700 |
| commit | 9c8be56ccd76eecf43f59fe26fef3d8978213ed8 (patch) | |
| tree | 63b8805a84199cd28eee7da1a0a9d47edfff35bc /src/aig/aig | |
| parent | 4393a5fade106b91ed9e3c32016a5773b5063c6b (diff) | |
| download | abc-9c8be56ccd76eecf43f59fe26fef3d8978213ed8.tar.gz abc-9c8be56ccd76eecf43f59fe26fef3d8978213ed8.tar.bz2 abc-9c8be56ccd76eecf43f59fe26fef3d8978213ed8.zip | |
Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.
Diffstat (limited to 'src/aig/aig')
| -rw-r--r-- | src/aig/aig/aigCanon.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/aig/aigCanon.c b/src/aig/aig/aigCanon.c index e13e88fd..f8a50fab 100644 --- a/src/aig/aig/aigCanon.c +++ b/src/aig/aig/aigCanon.c @@ -37,7 +37,7 @@ typedef struct Aig_VSig_t_ Aig_VSig_t; struct Aig_VSig_t_ { int nOnes; - short nCofOnes[RMAN_MAXVARS]; + int nCofOnes[RMAN_MAXVARS]; }; typedef struct Aig_Tru_t_ Aig_Tru_t; @@ -307,7 +307,7 @@ void Aig_RManQuit() ***********************************************************************/ void Aig_RManPrintVarProfile( unsigned * pTruth, int nVars, unsigned * pTruthAux ) { - short pStore2[32]; + int pStore2[32]; int i; Kit_TruthCountOnesInCofsSlow( pTruth, nVars, pStore2, pTruthAux ); for ( i = 0; i < nVars; i++ ) @@ -326,7 +326,7 @@ void Aig_RManPrintVarProfile( unsigned * pTruth, int nVars, unsigned * pTruthAu SeeAlso [] ***********************************************************************/ -void Aig_RManSortNums( short * pArray, int nVars ) +void Aig_RManSortNums( int * pArray, int nVars ) { int i, j, best_i, tmp; for ( i = 0; i < nVars-1; i++ ) @@ -409,7 +409,7 @@ void Aig_RManComputeVSigs( unsigned * pTruth, int nVars, Aig_VSig_t * pSigs, uns ***********************************************************************/ static inline int Aig_RManCompareSigs( Aig_VSig_t * p0, Aig_VSig_t * p1, int nVars ) { -// return memcmp( p0, p1, sizeof(int) + sizeof(short) * nVars ); +// return memcmp( p0, p1, sizeof(int) + sizeof(int) * nVars ); return memcmp( p0, p1, sizeof(int) ); } |