Searched refs:_extensionalityAllowPosEq (Results 1 – 2 of 2) sorted by relevance
1251 _extensionalityAllowPosEq = BoolOptionValue( "extensionality_allow_pos_eq","",false); in init()1252 … _extensionalityAllowPosEq.description="If extensionality resolution equals filter, this dictates" in init()1254 _lookup.insert(&_extensionalityAllowPosEq); in init()1255 _extensionalityAllowPosEq.tag(OptionTag::INFERENCES); in init()1256 …_extensionalityAllowPosEq.reliesOn(_extensionalityResolution.is(equal(ExtensionalityResolution::FI… in init()1257 _extensionalityAllowPosEq.setRandomChoices({"on","off","off"}); // Prefer off in init()
2099 bool extensionalityAllowPosEq() const { return _extensionalityAllowPosEq.actualValue; } in extensionalityAllowPosEq()2399 BoolOptionValue _extensionalityAllowPosEq; member in Shell::Options