dune-typetree
2.4-dev
|
Tag describing a simple filter that can only decide whether or not to include a single given child. More...
#include <dune/typetree/filters.hh>
Tag describing a simple filter that can only decide whether or not to include a single given child.