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