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