Searched refs:lazyMarker (Results 1 – 3 of 3) sorted by relevance
117 lazyMarker = NONE; in fairRewrite()158 lazyMarker = NONE; in fairStart()204 if (currentIndex == lazyMarker) in fairTraversal()205 lazyMarker = NONE; in fairTraversal()263 if (lazyMarker != NONE || d->isReduced()) in ascend()303 if (lazyMarker == NONE && !(redexStack[currentIndex].isEager())) in descend()304 lazyMarker = currentIndex; in descend()380 if (lazyMarker == NONE) in doRewriting()
172 int lazyMarker; member in RewritingContext
2973 progress, rewriteLimit, gasPerNode, currentGas, lazyMarker