Refactor code to create Initialized Assertion Predicates into separate class

XMLWordPrintable

    • b10

      This sub task refactors the code in clone_assertion_predicate_and_initialize() to a separate class inside predicates.hpp. Moreover, the method is split into two methods: One to create Initialized Assertion Predicates and one to clone Template Assertion Predicates.

            Assignee:
            Christian Hagedorn
            Reporter:
            Christian Hagedorn
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: