Searched refs:innerRewrites (Results 1 – 3 of 3) sorted by relevance
109 innerRewrites(0), in Statistics()290 condensations+globalSubsumption+evaluations+innerRewrites); in print()300 COND_OUT("Inner rewrites", innerRewrites); in print()
177 unsigned innerRewrites; member in Shell::Statistics
79 env.statistics->innerRewrites++; in perform()