Searched refs:GraphTrimInterval (Results 1 – 2 of 2) sorted by relevance
287 if (!GraphTrimInterval.hasValue()) in getGraphTrimInterval()288 GraphTrimInterval = getOptionAsInteger("graph-trim-interval", 1000); in getGraphTrimInterval()289 return GraphTrimInterval.getValue(); in getGraphTrimInterval()
251 Optional<unsigned> GraphTrimInterval; variable