Title Rename ScalarEvaluator to Evaluator
Priority meta Status resolved
Superseder Nosy List jendrik, malte, manuel
Assigned To manuel Keywords
Optional summary

Created on 2017-04-25.14:20:44 by manuel, last changed by manuel.

msg6219 (view) Author: jendrik Date: 2017-04-25.15:54:56
I have left some comments on Bitbucket.
msg6214 (view) Author: manuel Date: 2017-04-25.14:20:44
We aim to merge ScalarEvaluator and Heuristic to a new class named Evaluator. As
a first step, we rename ScalarEvaluator to Evaluator.
Date User Action Args
2017-04-25 17:45:46manuelsetstatus: in-progress -> resolved
2017-04-25 15:54:56jendriksetmessages: + msg6219
2017-04-25 14:20:44manuelcreate