Searched refs:ExplorationStrategyKind (Results 1 – 3 of 3) sorted by relevance
62 ExplorationStrategyKind65 llvm::StringSwitch<std::optional<ExplorationStrategyKind>>( in getExplorationStrategy()67 .Case("dfs", ExplorationStrategyKind::DFS) in getExplorationStrategy()68 .Case("bfs", ExplorationStrategyKind::BFS) in getExplorationStrategy()69 .Case("unexplored_first", ExplorationStrategyKind::UnexploredFirst) in getExplorationStrategy()71 ExplorationStrategyKind::UnexploredFirstQueue) in getExplorationStrategy()73 ExplorationStrategyKind::UnexploredFirstLocationQueue) in getExplorationStrategy()75 ExplorationStrategyKind::BFSBlockDFSContents) in getExplorationStrategy()
58 case ExplorationStrategyKind::DFS: in generateWorkList()60 case ExplorationStrategyKind::BFS: in generateWorkList()62 case ExplorationStrategyKind::BFSBlockDFSContents: in generateWorkList()64 case ExplorationStrategyKind::UnexploredFirst: in generateWorkList()66 case ExplorationStrategyKind::UnexploredFirstQueue: in generateWorkList()68 case ExplorationStrategyKind::UnexploredFirstLocationQueue: in generateWorkList()
108 enum class ExplorationStrategyKind { enum391 ExplorationStrategyKind getExplorationStrategy() const;