diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 00:11:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 00:11:09 -0800 |
| commit | 8587ebe7971e06a6e0a855fd077e3ca9a1587207 (patch) | |
| tree | bfdc4dd6378ad54f10a721237f778c1b25027897 /src/aig/gia/gia.h | |
| parent | ecd14d4daf479f2cd2f630095b7370a48465dac1 (diff) | |
| download | abc-8587ebe7971e06a6e0a855fd077e3ca9a1587207.tar.gz abc-8587ebe7971e06a6e0a855fd077e3ca9a1587207.tar.bz2 abc-8587ebe7971e06a6e0a855fd077e3ca9a1587207.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index aeb737dc..23beca19 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -209,6 +209,7 @@ struct Gia_ParVta_t_ int nTimeOut; // timeout in seconds int nRatioMin; // stop when less than this % of object is abstracted int fUseTermVars; // use terminal variables + int fUseRollback; // use rollback to the starting number of frames int fVerbose; // verbose flag int iFrame; // the number of frames covered }; |