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