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