Searched refs:UnexploredFirst (Results 1 – 3 of 3) sorted by relevance
60 ExplorationStrategyKind::UnexploredFirst) in getExplorationStrategy()
65 case ExplorationStrategyKind::UnexploredFirst: in generateWorkList()
126 UnexploredFirst, enumerator