Searched refs:_generalSplitting (Results 1 – 3 of 3) sorted by relevance
142 clausifyOptions._generalSplitting=Options::RA_OFF; in build()
490 …_generalSplitting = ChoiceOptionValue<RuleActivity>("general_splitting","gsp",RuleActivity::OFF,{"… in init()491 _generalSplitting.description= in init()495 _lookup.insert(&_generalSplitting); in init()496 _generalSplitting.tag(OptionTag::PREPROCESSING); in init()497 _generalSplitting.addConstraint(notEqual(RuleActivity::ON)); in init()498 _generalSplitting.addProblemConstraint(hasNonUnits()); in init()499 _generalSplitting.setRandomChoices({"off","input_only"}); in init()
2132 RuleActivity generalSplitting() const { return _generalSplitting.actualValue; } in generalSplitting()2430 ChoiceOptionValue<RuleActivity> _generalSplitting; member in Shell::Options