Home
last modified time | relevance | path

Searched refs:ageRatio (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Saturation/
H A DAWPassiveClauseContainer.cpp56 _ageRatio(opt.ageRatio()), in AWPassiveClauseContainer()
272 int targetAgeRatio = is_converging ? _opt.ageRatio() : 1; in popSelected()
/dports/math/vampire/vampire-4.5.1/InstGen/
H A DIGAlgorithm.cpp95 _passive.setAgeWeightRatio(_opt.ageRatio(), _opt.weightRatio()); in IGAlgorithm()
/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.cpp3026 if (ageRatio()!=1) { in generateEncodedOptions()
3027 res << ageRatio() << ":"; in generateEncodedOptions()
H A DOptions.hpp2067 int ageRatio() const { return _ageWeightRatio.actualValue; } in ageRatio() function in Shell::Options