Message6215

Author manuel
Recipients jendrik, malte, manuel
Date 2017-04-25.14:32:19
Content
After having renamed ScalarEvaluator to Evaluator in the process of merging
Heuristic and ScalarEvaluator to a new class (issue716), we merge Heuristic into
Evaluator. Eventually, the class Evaluator replaces the classes ScalarEvaluator
and Heuristic.
History
Date User Action Args
2017-04-25 14:32:19manuelsetrecipients: + manuel, malte, jendrik
2017-04-25 14:32:19manuelsetmessageid: <1493123539.39.0.243023801751.issue718@unibas.ch>
2017-04-25 14:32:19manuellinkissue718 messages
2017-04-25 14:32:19manuelcreate