Searched refs:TrimInterval (Results 1 – 1 of 1) sorted by relevance
89 unsigned TrimInterval = mgr.options.getGraphTrimInterval(); in ExprEngine() local90 if (TrimInterval != 0) { in ExprEngine()92 G.enableNodeReclamation(TrimInterval); in ExprEngine()