A filter entry describing the mapping of one child in the filtered node. More...
#include <dune/typetree/filters.hh>
A filter entry describing the mapping of one child in the filtered node.