Polymake Template Library (PTL): polymake::mlist_match< TList1, TList2, TCompare > Struct Template Reference
polymake::mlist_match< TList1, TList2, TCompare > Struct Template Reference

Detailed Description

template<typename TList1, typename TList2, template< typename, typename > class TCompare = std::is_same>
struct polymake::mlist_match< TList1, TList2, TCompare >

Find all pairs of elements of two meta-lists evaluating a binary meta-function to true. Every element may be used only once. The search is greedy, it does not try to maximize the mapping. Following results are defined: type list of elements from TList1 satisfying TCompare type2 list of corresponding elements from TList2 complement list of elements from TList1 left without matching mate complement2 list of elements from TList2 left without matching mate


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