texp_hasproperty.hpp

Go to the documentation of this file.

#ifndef realroot_ARITHM_TRAITS_HASPROPERTY_H
#define realroot_ARITHM_TRAITS_HASPROPERTY_H

#include "realroot/traits_isexact.hpp"
#include "realroot/traits_isring.hpp"
#include "realroot/traits_isfield.hpp"

namespace mmx {

namespace texp {
  
  template< typename X >
  struct hasproperty
  {
    typedef typename isexact< X >::T  exact;
    typedef typename isring < X >::T  ring;
    typedef typename isfield< X >::T  field;
  }; 

}

}// end namespace mmx

#endif