enum class ExplorationStrategyKind
Declared at: clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h:109
Enumerators
| Name | Value | Comment |
|---|---|---|
| DFS | 0 | |
| BFS | 1 | |
| UnexploredFirst | 2 | |
| UnexploredFirstQueue | 3 | |
| UnexploredFirstLocationQueue | 4 | |
| BFSBlockDFSContents | 5 |
Declared at: clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h:109
| Name | Value | Comment |
|---|---|---|
| DFS | 0 | |
| BFS | 1 | |
| UnexploredFirst | 2 | |
| UnexploredFirstQueue | 3 | |
| UnexploredFirstLocationQueue | 4 | |
| BFSBlockDFSContents | 5 |