Helper class for tagging priorities. More...
#include <dune/pdelab/common/typeutilities.hh>
Helper class for tagging priorities.
PriorityTag<0> does not derive from any other PriorityTag.