Searched refs:PositiveAnalyzerOption (Results 1 – 3 of 3) sorted by relevance
128 class PositiveAnalyzerOption {130 constexpr PositiveAnalyzerOption() = default;131 constexpr PositiveAnalyzerOption(unsigned Value) : Value(Value) { in PositiveAnalyzerOption() function134 constexpr PositiveAnalyzerOption(const PositiveAnalyzerOption &) = default;135 constexpr PositiveAnalyzerOption &136 operator=(const PositiveAnalyzerOption &Other) {141 static constexpr std::optional<PositiveAnalyzerOption> create(unsigned Val) { in create()144 return PositiveAnalyzerOption{Val}; in create()146 static std::optional<PositiveAnalyzerOption> create(StringRef Str) { in create()150 return PositiveAnalyzerOption::create(Parsed); in create()
222 PositiveAnalyzerOption, Z3CrosscheckMaxAttemptsPerQuery,
1247 PositiveAnalyzerOption &OptionField, StringRef Name, in initOption()1249 auto Parsed = PositiveAnalyzerOption::create( in initOption()