Searched refs:AnalysisConstraintsOpt (Results 1 – 3 of 3) sorted by relevance
194 AnalysisConstraints AnalysisConstraintsOpt = RangeConstraintsModel; variable
175 switch (Opts.AnalysisConstraintsOpt) { in DigestAnalyzerOptions()
975 if (Opts.AnalysisConstraintsOpt != RangeConstraintsModel) { in GenerateAnalyzerArgs()976 switch (Opts.AnalysisConstraintsOpt) { in GenerateAnalyzerArgs()1078 Opts.AnalysisConstraintsOpt = Value; in ParseAnalyzerArgs()