mmx::texp::issubsetof< X, Y > Struct Template Reference

X can be seen as an arithmetic subset of Y (eg. "Z in Q") return texp::true_t if all x in X are in Y. specialization must be done on subsetof_. More...

#include <texp_issubsetof.hpp>

Public Types
typedef ucstref< X >::T	UX
typedef ucstref< Y >::T	UY
typedef kernelof< UX >::T	KX
typedef kernelof< UY >::T	KY
typedef sfirstnn< typename equal< UX, UY >::T, typename issubsetof_< UX, UY >::T, typename kernel_issubsetof< typename kernelof< UX >::T, UX, UY >::T, typename kernel_issubsetof< typename kernelof< UY >::T, UX, UY >::T >::T	T

Detailed Description

template<typename X, typename Y>
struct mmx::texp::issubsetof< X, Y >

X can be seen as an arithmetic subset of Y (eg. "Z in Q") return texp::true_t if all x in X are in Y. specialization must be done on subsetof_.

Member Typedef Documentation

template<typename X, typename Y>

typedef kernelof<UX>::T mmx::texp::issubsetof< X, Y >::KX

template<typename X, typename Y>

typedef kernelof<UY>::T mmx::texp::issubsetof< X, Y >::KY

template<typename X, typename Y>

typedef sfirstnn< typename equal<UX,UY>::T, typename issubsetof_<UX,UY>::T, typename kernel_issubsetof<typename kernelof<UX>::T,UX,UY>::T, typename kernel_issubsetof<typename kernelof<UY>::T,UX,UY>::T >::T mmx::texp::issubsetof< X, Y >::T

template<typename X, typename Y>

typedef ucstref< X>::T mmx::texp::issubsetof< X, Y >::UX

template<typename X, typename Y>

typedef ucstref< Y>::T mmx::texp::issubsetof< X, Y >::UY

---

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

• include/realroot/texp_issubsetof.hpp