/Users/mourrain/Devel/mmx/realroot/include/realroot/texp_issubsetof.hpp File Reference

#include <realroot/texp_kernelof.hpp>

Go to the source code of this file.

Classes

• struct issubsetof_< X, Y >
• struct kernel_issubsetof< K, X, Y >

  kernel version of issubsetof More...
  

• struct kernel_issubsetof< null_t, X, Y >
• struct kernel_issubsetof< K, typename K::integer, algebraic< K > >
• struct kernel_issubsetof< K, typename K::integer, typename K::rational >
• struct kernel_issubsetof< K, typename K::integer, typename K::floating >

  neglecting the overflow problem we assume that floating is superset of integer More...
  

• struct kernel_issubsetof< K, double, typename K::floating >
• struct kernel_issubsetof< K, typename K::integer, double >
• struct kernel_issubsetof< K, typename K::floating, typename K::rational >
• struct issubsetof_< int, Y >
• struct issubsetof_< R< X >, R< Y > >
• struct 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_. More...
  

• struct issupersetof< X, Type >
• struct issupersetof< X, texp::tlist< A, texp::null_t > >
• struct issupersetof< X, texp::tlist< A, Tail > >

Namespaces

• namespace mmx
• namespace mmx::texp