Polymake Template Library (PTL): polymake::mtagged_list_extract< List, Tag, Default > Struct Template Reference
Polymake Template Library (PTL)  4.2
polymake::mtagged_list_extract< List, Tag, Default > Struct Template Reference

Detailed Description

template<typename List, template< typename > class Tag, typename Default = void>
struct polymake::mtagged_list_extract< List, Tag, Default >

Extract an element with a desired tag from a tagged meta-list. Defines following results: value = matching value or Default if nothing found is_specified = true If the tag occurs in the list tagged_value = Tag<Value> or void if nothing found


The documentation for this struct was generated from the following file:
  • lib/core/include/meta_list.h