The IncrementalEvaluator and the LogarithmicEvaluator include static code analysis that checks and extracts simple loops. This should be refactored into a single util function. Also rename the LogarithmicEvaluator class to Analyzer. We want to put the exponential checker there too.
The IncrementalEvaluator and the LogarithmicEvaluator include static code analysis that checks and extracts simple loops. This should be refactored into a single util function. Also rename the LogarithmicEvaluator class to Analyzer. We want to put the exponential checker there too.