Searched refs:ExplorationStrategyKind (Results 1 – 3 of 3) sorted by relevance
64 ExplorationStrategyKind67 llvm::StringSwitch<llvm::Optional<ExplorationStrategyKind>>( in getExplorationStrategy()69 .Case("dfs", ExplorationStrategyKind::DFS) in getExplorationStrategy()70 .Case("bfs", ExplorationStrategyKind::BFS) in getExplorationStrategy()72 ExplorationStrategyKind::UnexploredFirst) in getExplorationStrategy()74 ExplorationStrategyKind::UnexploredFirstQueue) in getExplorationStrategy()76 ExplorationStrategyKind::UnexploredFirstLocationQueue) in getExplorationStrategy()78 ExplorationStrategyKind::BFSBlockDFSContents) in getExplorationStrategy()
57 case ExplorationStrategyKind::DFS: in generateWorkList()59 case ExplorationStrategyKind::BFS: in generateWorkList()61 case ExplorationStrategyKind::BFSBlockDFSContents: in generateWorkList()63 case ExplorationStrategyKind::UnexploredFirst: in generateWorkList()65 case ExplorationStrategyKind::UnexploredFirstQueue: in generateWorkList()67 case ExplorationStrategyKind::UnexploredFirstLocationQueue: in generateWorkList()
123 enum class ExplorationStrategyKind { enum382 ExplorationStrategyKind getExplorationStrategy() const;