dedekind::sets::ExtensionalSet< T, L, Hash, Equal > Struct Template Reference

Collaboration diagram for dedekind::sets::ExtensionalSet< T, L, Hash, Equal >:

Public Types
using	Domain = T
using	Codomain = typename L::Ω
using	logic_species = L
using	cardinality_type = Finite

Public Member Functions
constexpr Codomain	operator() (const T &value) const
constexpr bool	contains (const T &value) const
constexpr std::size_t	size () const noexcept
constexpr std::size_t	upper_bound () const noexcept
constexpr cardinality_type	cardinality () const noexcept
constexpr auto	begin () const noexcept
constexpr auto	end () const noexcept
constexpr bool	operator== (const ExtensionalSet &other) const

Public Attributes
std::unordered_set< T, Hash, Equal >	elements

---

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

• src/main/modules/dedekind/sets/extensional.cppm