pm::GenericSet< Top, E, Comparator > Class Template Reference

Generic type for ordered sets More...

Inherits pm::Generic< Top >.

Inherited by pm::LazySet2< sequence, SetRef, set_difference_zipper >, and pm::Series< Int, true >.

Public Types
using	element_type = E
	element types
using	element_comparator = Comparator
	functor type for comparing elements
using	generic_type = GenericSet
	generic type
using	top_type = typename Generic< Top >::top_type
	top type

Public Member Functions
template<typename Set2 >
bool	operator== (const GenericSet< Set2, E, Comparator > &s) const
	comparison
template<typename Set2 >
bool	operator< (const GenericSet< Set2, E, Comparator > &s) const
	lexicographical comparison

Detailed Description

template<typename Top, typename E, typename Comparator>
class pm::GenericSet< Top, E, Comparator >

Generic type for ordered sets

---

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

• lib/core/include/GenericSet.h