Home
last modified time | relevance | path

Searched refs:_splittingEagerRemoval (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.cpp1608 _splittingEagerRemoval = BoolOptionValue("avatar_eager_removal","aer",true); in init()
1609_splittingEagerRemoval.description="If a component was in the model and then becomes 'don't care' … in init()
1610 _lookup.insert(&_splittingEagerRemoval); in init()
1611 _splittingEagerRemoval.tag(OptionTag::AVATAR); in init()
1612 _splittingEagerRemoval.reliesOn(_splitting.is(equal(true))); in init()
1615 _splittingEagerRemoval.reliesOn(_splittingMinimizeModel.is(equal(SplittingMinimizeModel::ALL))); in init()
1616 _splittingEagerRemoval.setRandomChoices({"on","off"}); in init()
H A DOptions.hpp2208 bool splittingEagerRemoval() const { return _splittingEagerRemoval.actualValue; } in splittingEagerRemoval()
2592 BoolOptionValue _splittingEagerRemoval; member in Shell::Options