Searched refs:getGraphTrimInterval (Results 1 – 3 of 3) sorted by relevance
410 unsigned getGraphTrimInterval();
242 unsigned AnalyzerOptions::getGraphTrimInterval() { in getGraphTrimInterval() function in AnalyzerOptions
88 unsigned TrimInterval = mgr.options.getGraphTrimInterval(); in ExprEngine()