enum AnalysisConstraints
Description
AnalysisConstraints - Set of available constraint models.
Declared at: clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h:37
Enumerators
Name | Value | Comment |
---|---|---|
RangeConstraintsModel | 0 | |
Z3ConstraintsModel | 1 | |
NumConstraints | 2 |