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 |