Searched defs:Fra_Sec_t_ (Results 1 – 1 of 1) sorted by relevance
114 struct Fra_Sec_t_ struct120 int nBTLimitGlobal; // the global conflict limit123 int nBddMax; // the max number of BDD nodes126 int fPhaseAbstract; // enables phase abstraction130 int fInduction; // enable the use of induction131 int fInterpolation; // enables interpolation136 int fUseNewProver; // the new prover137 int fUsePdr; // the PDR138 int fSilent; // disables all output141 int TimeLimit; // enables the timeout[all …]