Searched refs:UnexploredFirstQueue (Results 1 – 3 of 3) sorted by relevance
74 ExplorationStrategyKind::UnexploredFirstQueue) in getExplorationStrategy()
67 case ExplorationStrategyKind::UnexploredFirstQueue: in generateWorkList()
111 UnexploredFirstQueue, enumerator