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()
381 ExplorationStrategyKind getExplorationStrategy() const;