diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-19 23:42:05 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-19 23:42:05 -0800 |
| commit | ffbe3bc5767c597b3ca612a12e671749f23ca34f (patch) | |
| tree | 5422b46e65aef95dea810fd82965a7301ba3397b /src/map/if/if.h | |
| parent | d671adbb86b241a71e15bcd67831b267d0de6abf (diff) | |
| download | abc-ffbe3bc5767c597b3ca612a12e671749f23ca34f.tar.gz abc-ffbe3bc5767c597b3ca612a12e671749f23ca34f.tar.bz2 abc-ffbe3bc5767c597b3ca612a12e671749f23ca34f.zip | |
DSD manager.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index e8c57998..f1d78ff4 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -35,7 +35,7 @@ #include "misc/mem/mem.h" #include "misc/tim/tim.h" #include "misc/util/utilNam.h" - +#include "opt/dau/dau.h" ABC_NAMESPACE_HEADER_START @@ -189,6 +189,7 @@ struct If_Man_t_ Vec_Int_t * vSwitching; // switching activity of each node Vec_Int_t ** pDriverCuts; // temporary driver cuts int pPerm[3][IF_MAX_LUTSIZE]; // permutations + unsigned uSharedMask; // mask of shared variables int nShared; // the number of shared variables // SOP balancing Vec_Int_t * vCover; // used to compute ISOP @@ -218,8 +219,9 @@ struct If_Man_t_ int nCutsCount[32]; int nCutsCountAll; int nCutsUselessAll; - Abc_Nam_t * pNamDsd; +// Abc_Nam_t * pNamDsd; int iNamVar; + Dss_Man_t * pDsdMan; // timing manager Tim_Man_t * pManTim; |