diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-10-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-10-05 08:01:00 -0700 |
| commit | a2535d49a0dac5bad8d27567ad674adc78edf74b (patch) | |
| tree | 0f23cb0500aa6903ec00b55bf4aa2438bc654ce5 /src/aig/fra/fra.h | |
| parent | eb75697fe00a8668f74b3c710dcbf5658e07d167 (diff) | |
| download | abc-a2535d49a0dac5bad8d27567ad674adc78edf74b.tar.gz abc-a2535d49a0dac5bad8d27567ad674adc78edf74b.tar.bz2 abc-a2535d49a0dac5bad8d27567ad674adc78edf74b.zip | |
Version abc81005
Diffstat (limited to 'src/aig/fra/fra.h')
| -rw-r--r-- | src/aig/fra/fra.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/fra/fra.h b/src/aig/fra/fra.h index eceda480..dc98adc9 100644 --- a/src/aig/fra/fra.h +++ b/src/aig/fra/fra.h @@ -116,10 +116,15 @@ struct Fra_Sec_t_ int fTryComb; // try CEC call as a preprocessing step int fTryBmc; // try BMC call as a preprocessing step int nFramesMax; // the max number of frames used for induction + int nBTLimit; // the conflict limit at a node + int nBTLimitGlobal; // the global conflict limit + int nBddMax; // the max number of BDD nodes + int nBddIterMax; // the limit on the number of BDD iterations int fPhaseAbstract; // enables phase abstraction int fRetimeFirst; // enables most-forward retiming at the beginning int fRetimeRegs; // enables min-register retiming at the beginning int fFraiging; // enables fraiging at the beginning + int fInduction; // enable the use of induction int fInterpolation; // enables interpolation int fReachability; // enables BDD based reachability int fStopOnFirstFail; // enables stopping after first output of a miter has failed to prove |