Searched refs:_satRestartMinisatIncrease (Results 1 – 2 of 2) sorted by relevance
1736 _satRestartMinisatIncrease = FloatOptionValue("sat_restart_minisat_increase","",1.1); in init()1737 _satRestartMinisatIncrease.description=""; in init()1738 _lookup.insert(&_satRestartMinisatIncrease); in init()1739 _satRestartMinisatIncrease.tag(OptionTag::SAT); in init()1740 _satRestartMinisatIncrease.addConstraint(greaterThan(1.0f)); in init()1741 _satRestartMinisatIncrease.setExperimental(); in init()
2183 float satRestartMinisatIncrease() const { return _satRestartMinisatIncrease.actualValue; } in satRestartMinisatIncrease()2532 FloatOptionValue _satRestartMinisatIncrease; member in Shell::Options