texp_issubsetof.hpp

Go to the documentation of this file.

#ifndef realroot_ARITHM_TRAITS_ISSUBSETOF_H
#define realroot_ARITHM_TRAITS_ISSUBSETOF_H

#include <realroot/texp_kernelof.hpp>

namespace mmx {

namespace texp {
  template<typename X, typename Y> 
  struct issubsetof_  { typedef texp::false_t T; };
  
  template<class K, class X, class Y>
  struct kernel_issubsetof { typedef false_t T; };
  template<class X, class Y>
  struct kernel_issubsetof<null_t,X,Y> { typedef null_t T; };
  
  template<class K>
  struct kernel_issubsetof< K, typename K::integer, algebraic<K>  > { typedef true_t T; };
  template<class K> 
  struct kernel_issubsetof< K, typename K::integer, typename K::rational > { typedef true_t T; };
  template<class K> 
  struct kernel_issubsetof< K, typename K::integer, typename K::floating > { typedef true_t T; };
  template<class K>
  struct kernel_issubsetof< K, double, typename K::floating > { typedef true_t T; };
  template<class K>
  struct kernel_issubsetof< K, typename K::integer, double > { typedef true_t T; };
  template<class K>
  struct kernel_issubsetof< K, typename K::floating, typename K::rational > { typedef true_t T; };
  template<typename Y>
  struct issubsetof_<int,Y>
  {
    typedef texp::true_t T;
  };
  
  template< template<class> class R, class X, class Y> 
  struct issubsetof_< R<X>, R<Y> >
  { typedef typename issubsetof_<X,Y>::T T; };
  

  template<typename X, typename Y>
  struct issubsetof
  {
    typedef typename ucstref < X>::T UX; typedef typename ucstref < Y>::T UY;
    typedef typename kernelof<UX>::T KX; typedef typename kernelof<UY>::T KY;
    typedef typename 
    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;
  };

  template<typename X, typename TypeOrListOfTypes > struct issupersetof;
  template<typename X, typename Type>
  struct issupersetof { 
    typedef typename issubsetof<Type,X>::T T; 
  };
  
  template<typename X, typename A>
  struct issupersetof< X, texp::tlist<A,texp::null_t> >
  { 
    typedef typename issupersetof<X,A>::T T; 
  };
  
  template<typename X, typename A, typename Tail>
  struct issupersetof< X, texp::tlist<A,Tail> >
  {
    typedef typename issubsetof<A,X>::T                                                        ok;
    typedef typename tselect<ok, typename issupersetof<X,Tail>::T, texp::false_t >::T T;
  };
  
}
}// end namespace mmx
#endif