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