dune-typetree
2.8-git
|
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.