Issue817

Title Let ConstEvaluator inherit from Evaluator
Priority feature Status resolved
Superseder Nosy List cedric, gabi, malte
Assigned To gabi Keywords
Optional summary

Created on 2018-09-12.15:27:57 by gabi, last changed by gabi.

Messages
msg7411 (view) Author: gabi Date: 2018-09-12.16:48:40
Merged.
msg7410 (view) Author: malte Date: 2018-09-12.16:12:23
Looks good to merge for me. While reviewing this, I found a comment in the base
class header file that is outdated now that issue198 is merged. I will remove
that comment directly in the default branch.
msg7404 (view) Author: gabi Date: 2018-09-12.15:38:44
Ready for reviewing:

https://bitbucket.org/roeger/downward/pull-requests/1/issue817/diff
msg7403 (view) Author: gabi Date: 2018-09-12.15:27:57
ConstEvaluator should inherit from Evaluator instead of Heuristic.

This is a split-off from issue727 that was blocked by issue198 but can now be
resolved.
History
Date User Action Args
2018-09-12 16:48:40gabisetstatus: in-progress -> resolved
messages: + msg7411
2018-09-12 16:12:23maltesetmessages: + msg7410
2018-09-12 15:58:49maltesetnosy: + malte
2018-09-12 15:38:44gabisetmessages: + msg7404
2018-09-12 15:29:29cedricsetnosy: + cedric
2018-09-12 15:27:57gabicreate