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