Merge utility functions of search and parser

Issue #30 resolved
created an issue

Currently, search/utils and rddl_parser/utils are nearly identical. A change to one utility function in search often requires copy/pasting the entire file to the parser. Furthermore, while a new implementation could work in search, there could be issues in the parser, that are only noticed after the file was copied, making a lot of extra work.

I propose to merge the utility classes to one location, e.g. src/utils.

Comments (3)

  1. geisserf reporter

    Works for me. It should still be ok if I start implementing this and merge the changes from issue #26 into it, when it is finished, right? This makes it easier to solve issue #27 and #29, since I can just branch them off issue #30 then.

  2. Log in to comment