diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-27 21:11:05 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-27 21:11:05 -0800 |
| commit | b556c2591e8dc6e35d523971aa467bce4ad6200e (patch) | |
| tree | c8c3a60b07901c71cdd1d7bfd5c20d7188c424cc /src/map/if/if.h | |
| parent | caa2227b1127802e4b35f296106ca19e113ea601 (diff) | |
| download | abc-b556c2591e8dc6e35d523971aa467bce4ad6200e.tar.gz abc-b556c2591e8dc6e35d523971aa467bce4ad6200e.tar.bz2 abc-b556c2591e8dc6e35d523971aa467bce4ad6200e.zip | |
Changes to LUT mappers.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 41d30da4..13828701 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -55,7 +55,7 @@ ABC_NAMESPACE_HEADER_START // the largest possible user cut cost #define IF_COST_MAX 8191 // ((1<<13)-1) -#define IF_BIG_CHAR 120 +#define IF_BIG_CHAR ((char)120) // object types typedef enum { @@ -233,7 +233,8 @@ struct If_Man_t_ int nCuts5, nCuts5a; If_DsdMan_t * pIfDsdMan; Vec_Mem_t * vTtMem; // truth table memory and hash table - Vec_Int_t * vDsds; // mapping of truth table into DSD + Vec_Int_t * vTtDsds; // mapping of truth table into DSD + Vec_Str_t * vTtPerms; // mapping of truth table into permutations int nBestCutSmall[2]; // timing manager @@ -520,7 +521,7 @@ extern void If_DsdManDump( If_DsdMan_t * p ); extern void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int fVerbose ); extern void If_DsdManFree( If_DsdMan_t * p ); extern int If_DsdManCompute( If_DsdMan_t * p, word * pTruth, int nLeaves, unsigned char * pPerm, char * pLutStruct ); -extern int If_DsdManCheckDec( If_DsdMan_t * pIfMan, int iDsd ); +extern int If_DsdManCheckDec( If_DsdMan_t * p, int iDsd ); /*=== ifLib.c =============================================================*/ extern If_LibLut_t * If_LibLutRead( char * FileName ); extern If_LibLut_t * If_LibLutDup( If_LibLut_t * p ); |