texp_issubsetof.hpp File Reference

#include <realroot/texp_kernelof.hpp>

Go to the source code of this file.

Classes
struct	mmx::texp::issubsetof_< X, Y >
struct	mmx::texp::kernel_issubsetof< K, X, Y >
	kernel version of issubsetof More...
struct	mmx::texp::kernel_issubsetof< null_t, X, Y >
struct	mmx::texp::kernel_issubsetof< K, typename K::integer, algebraic< K > >
struct	mmx::texp::kernel_issubsetof< K, typename K::integer, typename K::rational >
struct	mmx::texp::kernel_issubsetof< K, typename K::integer, typename K::floating >
	neglecting the overflow problem we assume that floating is superset of integer More...
struct	mmx::texp::kernel_issubsetof< K, double, typename K::floating >
struct	mmx::texp::kernel_issubsetof< K, typename K::integer, double >
struct	mmx::texp::kernel_issubsetof< K, typename K::floating, typename K::rational >
struct	mmx::texp::issubsetof_< int, Y >
struct	mmx::texp::issubsetof_< R< X >, R< 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_. More...
struct	mmx::texp::issupersetof< X, Type >
struct	mmx::texp::issupersetof< X, Type >
struct	mmx::texp::issupersetof< X, texp::tlist< A, texp::null_t > >
struct	mmx::texp::issupersetof< X, texp::tlist< A, Tail > >

Namespaces
	mmx
	mmx::texp