Searched refs:getExplorationStrategy (Results 1 – 3 of 3) sorted by relevance
65 AnalyzerOptions::getExplorationStrategy() const { in getExplorationStrategy() function in AnalyzerOptions
56 switch (Opts.getExplorationStrategy()) { in generateWorkList()
382 ExplorationStrategyKind getExplorationStrategy() const;