Polymake Template Library (PTL)  4.0
List of all members
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: