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