Skip to content

Clean up merging strategy interface

This merge request incorporates the changes for the index merging strategy names decided in Berlin. It also renames those strategies from tags to merging strategies, introduces a new concept to allow testing whether a type is a merging strategy, moves the strategies to the namespace Dune::Functions::BaseBuilder and adds factory functions to create the strategies.

Merge request reports