From a2535d49a0dac5bad8d27567ad674adc78edf74b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 5 Oct 2008 08:01:00 -0700 Subject: Version abc81005 --- src/aig/fra/fra.h | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/aig/fra/fra.h') 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 -- cgit v1.2.3