texp_isexact.hpp

Go to the documentation of this file.

#ifndef realroot_ARITHM_TRAITS_ISEXACT_H
#define realroot_ARITHM_TRAITS_ISEXACT_H

#include <realroot/texp_kernelof.hpp>

namespace mmx {

namespace texp {

  template<class X> struct isexact_ { typedef false_t T; };
  
  template<class K, class X> struct kernel_isexact  { typedef true_t T; };
  template<class X> struct kernel_isexact<null_t,X> { typedef typename isexact_<X>::T T; };

  template<class K> struct kernel_isexact< K, typename K::integer >  { typedef true_t T; };
  template<class K> struct kernel_isexact< K, typename K::rational > { typedef true_t T; };
  template<class K> struct kernel_isexact< K, typename K::floating > { typedef false_t T; };
  template<class K> struct kernel_isexact< K, typename K::ieee >     { typedef false_t T; };

  template<typename X>
  struct isexact 
  {
    typedef  typename ucstref<X>::T   _X;
    typedef  typename kernel_isexact< typename kernelof<X>::T, _X >::T T;
  };
  
  template<typename X>
  struct isapproximate { typedef typename tnot< typename isexact< X >::T >::T T; };

}

} //namespace mmx

#endif