Searched refs:GlobalSubsumptionExplicitMinim (Results 1 – 3 of 3) sorted by relevance
50 …_explicitMinim(opts.globalSubsumptionExplicitMinim()!=Options::GlobalSubsumptionExplicitMinim::OFF… in GlobalSubsumption()51 …ndomizeMinim(opts.globalSubsumptionExplicitMinim()==Options::GlobalSubsumptionExplicitMinim::RANDO… in GlobalSubsumption()
714 enum class GlobalSubsumptionExplicitMinim : unsigned int { enum in Shell::Options2120 …GlobalSubsumptionExplicitMinim globalSubsumptionExplicitMinim() const { return _globalSubsumptionE… in globalSubsumptionExplicitMinim()2433 ChoiceOptionValue<GlobalSubsumptionExplicitMinim> _globalSubsumptionExplicitMinim;
1438 …_globalSubsumptionExplicitMinim = ChoiceOptionValue<GlobalSubsumptionExplicitMinim>("global_subsum… in init()1439 GlobalSubsumptionExplicitMinim::RANDOMIZED,{"off","on","randomized"}); in init()