Searched refs:ExplorationStrategyKind (Results 1 – 3 of 3) sorted by relevance
65 ExplorationStrategyKind68 llvm::StringSwitch<std::optional<ExplorationStrategyKind>>( in getExplorationStrategy()70 .Case("dfs", ExplorationStrategyKind::DFS) in getExplorationStrategy()71 .Case("bfs", ExplorationStrategyKind::BFS) in getExplorationStrategy()72 .Case("unexplored_first", ExplorationStrategyKind::UnexploredFirst) in getExplorationStrategy()74 ExplorationStrategyKind::UnexploredFirstQueue) in getExplorationStrategy()76 ExplorationStrategyKind::UnexploredFirstLocationQueue) in getExplorationStrategy()78 ExplorationStrategyKind::BFSBlockDFSContents) in getExplorationStrategy()
59 case ExplorationStrategyKind::DFS: in generateWorkList()61 case ExplorationStrategyKind::BFS: in generateWorkList()63 case ExplorationStrategyKind::BFSBlockDFSContents: in generateWorkList()65 case ExplorationStrategyKind::UnexploredFirst: in generateWorkList()67 case ExplorationStrategyKind::UnexploredFirstQueue: in generateWorkList()69 case ExplorationStrategyKind::UnexploredFirstLocationQueue: in generateWorkList()
107 enum class ExplorationStrategyKind { enum362 ExplorationStrategyKind getExplorationStrategy() const;