Searched refs:_instGenResolutionInstGenRatio (Results 1 – 2 of 2) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | Options.cpp | 1474 _instGenResolutionInstGenRatio = RatioOptionValue("inst_gen_resolution_ratio","igrr",1,1,'/'); in init()
1475 _instGenResolutionInstGenRatio.description= in init()
1477 _lookup.insert(&_instGenResolutionInstGenRatio); in init()
1478 _instGenResolutionInstGenRatio.tag(OptionTag::INST_GEN); in init()
1479 …_instGenResolutionInstGenRatio.reliesOn(_saturationAlgorithm.is(equal(SaturationAlgorithm::INST_GE… in init()
1480 _instGenResolutionInstGenRatio.reliesOn(_instGenWithResolution.is(equal(true))); in init()
1481 …_instGenResolutionInstGenRatio.setRandomChoices({"128/1","64/1","32/1","16/1","8/1","4/1","2/1","1… in init()
|
| H A D | Options.hpp | 2167 int instGenResolutionRatioInstGen() const { return _instGenResolutionInstGenRatio.actualValue; } in instGenResolutionRatioInstGen()
2168 int instGenResolutionRatioResolution() const { return _instGenResolutionInstGenRatio.otherValue; } in instGenResolutionRatioResolution()
2461 RatioOptionValue _instGenResolutionInstGenRatio; member in Shell::Options
|