From 9c8be56ccd76eecf43f59fe26fef3d8978213ed8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Sep 2012 15:32:07 -0700 Subject: Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. --- src/aig/aig/aigCanon.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/aig/aig') 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) ); } -- cgit v1.2.3