diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-20 11:21:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-20 11:21:33 -0700 |
| commit | b581e16f32cd1ad68a65fd94d9f2b997da443721 (patch) | |
| tree | 60550ee6a2254498f8e38b71b8f4347d8f0c5b1f /src/map/if/if.h | |
| parent | d44d9e292788efa2d933ffdeeaa058e4bc416e90 (diff) | |
| download | abc-b581e16f32cd1ad68a65fd94d9f2b997da443721.tar.gz abc-b581e16f32cd1ad68a65fd94d9f2b997da443721.tar.bz2 abc-b581e16f32cd1ad68a65fd94d9f2b997da443721.zip | |
Experiments with cut caching.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 20d5b643..591361ba 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -237,6 +237,7 @@ struct If_Man_t_ Vec_Str_t * vTtPerms; // mapping of truth table into permutations int nBestCutSmall[2]; int nCountNonDec[2]; + Vec_Int_t * vCutData; // cut data storage // timing manager Tim_Man_t * pManTim; |