Home
last modified time | relevance | path

Searched refs:SplittingMinimizeModel (Results 1 – 3 of 3) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Saturation/
H A DSplitter.cpp107 case Options::SplittingMinimizeModel::OFF: in init()
110 case Options::SplittingMinimizeModel::ALL: in init()
111 case Options::SplittingMinimizeModel::SCO: in init()
117 _minSCO = _parent.getOptions().splittingMinimizeModel() == Options::SplittingMinimizeModel::SCO; in init()
/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.cpp1578 … then(_splittingMinimizeModel.is(notEqual(SplittingMinimizeModel::SCO)))); in init()
1597 … _splittingMinimizeModel = ChoiceOptionValue<SplittingMinimizeModel>("avatar_minimize_model","amm", in init()
1598SplittingMinimizeModel::ALL,{"off","sco","all"}); in init()
1615 _splittingEagerRemoval.reliesOn(_splittingMinimizeModel.is(equal(SplittingMinimizeModel::ALL))); in init()
H A DOptions.hpp673 enum class SplittingMinimizeModel : unsigned int { enum in Shell::Options
2201SplittingMinimizeModel splittingMinimizeModel() const { return _splittingMinimizeModel.actualValue… in splittingMinimizeModel()
2596 ChoiceOptionValue<SplittingMinimizeModel> _splittingMinimizeModel;