Searched defs:Gia_ParAbs_t_ (Results 1 – 1 of 1) sorted by relevance
85 struct Gia_ParAbs_t_ struct88 int nFramesMax; // timeframes for PBA89 int nConfMax; // conflicts for PBA91 int fConstr; // use constraints92 int nFramesBmc; // timeframes for BMC93 int nConfMaxBmc; // conflicts for BMC95 int nRatio; // ratio of flops to quit98 int nBobPar; // Bob's parameter101 int fUseStart; // use starting frame102 int fVerbose; // verbose output[all …]