dune-typetree
2.3.1
|
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. More... | |
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.