Searched refs:ExplorationStrategyKind (Results 1 – 3 of 3) sorted by relevance
52 ExplorationStrategyKind55 llvm::StringSwitch<llvm::Optional<ExplorationStrategyKind>>( in getExplorationStrategy()57 .Case("dfs", ExplorationStrategyKind::DFS) in getExplorationStrategy()58 .Case("bfs", ExplorationStrategyKind::BFS) in getExplorationStrategy()60 ExplorationStrategyKind::UnexploredFirst) in getExplorationStrategy()62 ExplorationStrategyKind::UnexploredFirstQueue) in getExplorationStrategy()64 ExplorationStrategyKind::UnexploredFirstLocationQueue) in getExplorationStrategy()66 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()
123 enum class ExplorationStrategyKind { enum330 ExplorationStrategyKind getExplorationStrategy() const;