texp_sup.hpp

Go to the documentation of this file.

#ifndef realroot_ARITHM_TRAITS_SUP_H
#define realroot_ARITHM_TRAITS_SUP_H

#define SUP_T(A,B) typename texp::sup<A,B>::T 

#include "realroot/texp_issubsetof.hpp"

namespace mmx {

namespace texp {

template<typename X, typename Y>
struct sup_ 
{
  typedef X T;
};

//  template<typename X> struct sup_<X,X> { typedef X T; };
template<class X,class Y> struct sup;

template<typename X, typename Y>
struct sup
{
  typedef typename ucstref<X>::T _X;
  typedef typename ucstref<Y>::T _Y;
  typedef typename issubsetof< X, Y >::T TA;
  typedef typename issubsetof< Y, X >::T TB;
  typedef typename tselect< TA, Y, null_t >::T A;
  typedef typename tselect< TB, X, null_t >::T B;
  typedef typename sup_<_X,_Y>::T C;
  typedef typename sfirstnn< C, A, B >::T T;
};

}

}// end namespace mmx

#endif