|
dune-typetree 2.11
|
Apply this filter to the given node and children. More...
#include <dune/typetree/filters.hh>
Public Types | |
| typedef implementation defined | type |
| The result of the filtering process. | |
Apply this filter to the given node and children.
| typedef implementation defined Dune::TypeTree::AdvancedFilter::apply< Node, Children >::type |
The result of the filtering process.
This type must be a model of FilterResult.