carl  24.04
Computer ARithmetic Library
Public Types
carl::mpl_unique< T > Struct Template Reference

#include <mpl_utils.h>

Public Types

typedef boost::mpl::less< boost::mpl::sizeof_< boost::mpl::_ >, boost::mpl::sizeof_< boost::mpl::_ > > Less
 
typedef std::is_same< boost::mpl::_, boost::mpl::_ > Equal
 
typedef boost::mpl::sort< T, Less >::type Sorted
 
typedef boost::mpl::unique< Sorted, Equal >::type Unique
 
typedef Unique type
 

Detailed Description

template<typename T>
struct carl::mpl_unique< T >

Definition at line 20 of file mpl_utils.h.

Member Typedef Documentation

◆ Equal

template<typename T >
typedef std::is_same<boost::mpl::_, boost::mpl::_> carl::mpl_unique< T >::Equal

Definition at line 22 of file mpl_utils.h.

◆ Less

template<typename T >
typedef boost::mpl::less<boost::mpl::sizeof_<boost::mpl::_>, boost::mpl::sizeof_<boost::mpl::_> > carl::mpl_unique< T >::Less

Definition at line 21 of file mpl_utils.h.

◆ Sorted

template<typename T >
typedef boost::mpl::sort<T, Less>::type carl::mpl_unique< T >::Sorted

Definition at line 23 of file mpl_utils.h.

◆ type

template<typename T >
typedef Unique carl::mpl_unique< T >::type

Definition at line 25 of file mpl_utils.h.

◆ Unique

template<typename T >
typedef boost::mpl::unique<Sorted, Equal>::type carl::mpl_unique< T >::Unique

Definition at line 24 of file mpl_utils.h.

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