|
dune-typetree 2.12-git
|
Loading...
Searching...
No Matches
Dune::TypeTree::FilterEntry< new_k, old_k > Struct Template Reference
A filter entry describing the mapping of one child in the filtered node. More...
#include <dune/typetree/filters.hh>
Detailed Description
A filter entry describing the mapping of one child in the filtered node.
The documentation for this struct was generated from the following file:
Legal Statements / Impressum | Hosted by TU Dresden & Uni Heidelberg | Generated by
1.9.8