Polymake Template Library (PTL) 4.13
|
#include <meta_list.h>
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