polymake::mlist_match_impl< List1, List2, Compare > Struct Template Reference

Detailed Description

template<typename List1, typename List2, template< typename, typename > class Compare>
struct polymake::mlist_match_impl< List1, List2, Compare >

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 List1 satisfying Compare type2 list of corresponding elements from List2 complement list of elements from List1 left without matching mate complement2 list of elements from List2 left without matching mate

---

The documentation for this struct was generated from the following file:

• lib/core/include/meta_list.h