Searched refs:UnexploredFirst (Results 1 – 3 of 3) sorted by relevance
72 .Case("unexplored_first", ExplorationStrategyKind::UnexploredFirst) in getExplorationStrategy()
65 case ExplorationStrategyKind::UnexploredFirst: in generateWorkList()
110 UnexploredFirst, enumerator