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>

List of all members.

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_.

Definition at line 47 of file texp_issubsetof.hpp.

---

Member Typedef Documentation

typedef kernelof<UX>::T KX

Definition at line 50 of file texp_issubsetof.hpp.

typedef kernelof<UY>::T KY

Definition at line 50 of file texp_issubsetof.hpp.

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

Definition at line 56 of file texp_issubsetof.hpp.

typedef ucstref< X>::T UX

Definition at line 49 of file texp_issubsetof.hpp.

typedef ucstref< Y>::T UY

Definition at line 49 of file texp_issubsetof.hpp.

---

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

• /Users/mourrain/Devel/mmx/realroot/include/realroot/texp_issubsetof.hpp