Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.cpp817 _fmbAdjustSorts = ChoiceOptionValue<FMBAdjustSorts>("fmb_adjust_sorts","fmbas", in init()
820_fmbAdjustSorts.description = "Detect monotonic sorts. If <expand> then expand monotonic subsorts … in init()
821 _lookup.insert(&_fmbAdjustSorts); in init()
822 _fmbAdjustSorts.addHardConstraint( in init()
824 _fmbAdjustSorts.tag(OptionTag::FMB); in init()
829 …_fmbDetectSortBounds.addHardConstraint(If(equal(true)).then(_fmbAdjustSorts.is(notEqual(FMBAdjustS… in init()
830 …_fmbDetectSortBounds.addHardConstraint(If(equal(true)).then(_fmbAdjustSorts.is(notEqual(FMBAdjustS… in init()
H A DOptions.hpp1930 FMBAdjustSorts fmbAdjustSorts() const {return _fmbAdjustSorts.actualValue; } in fmbAdjustSorts()
2411 ChoiceOptionValue<FMBAdjustSorts> _fmbAdjustSorts; member in Shell::Options