Sacado_LFad_LogicalSparseTraits.hpp

Go to the documentation of this file.

// @HEADER
// *****************************************************************************
//                           Sacado Package
//
// Copyright 2006 NTESS and the Sacado contributors.
// SPDX-License-Identifier: LGPL-2.1-or-later
// *****************************************************************************
// @HEADER

#ifndef SACADO_LFAD_LOGICALSPARSETRAITS_HPP
#define SACADO_LFAD_LOGICALSPARSETRAITS_HPP

#include "Sacado_Traits.hpp"

// Forward declarations
namespace Sacado {
  namespace LFad {
    template <typename T1, typename T2> class LogicalSparse;
  }
}

namespace Sacado {

  namespace LFad {
    template <typename T> class Expr;
  }

  SACADO_AD_PROMOTE_SPEC2( LFad, LogicalSparse )

  
  template <typename ValT, typename LogT>
  struct ScalarType< LFad::LogicalSparse<ValT,LogT> > {
    typedef typename ScalarType< typename LFad::LogicalSparse<ValT,LogT>::value_type >::type type;
  };

  template <typename ValT, typename LogT>
  struct ValueType< LFad::LogicalSparse<ValT,LogT> > {
    typedef typename LFad::LogicalSparse<ValT,LogT>::value_type type;
  };

  template <typename ValT, typename LogT>
  struct IsADType< LFad::LogicalSparse<ValT,LogT> > {
    static const bool value = true;
  };

  template <typename ValT, typename LogT>
  struct IsScalarType< LFad::LogicalSparse<ValT,LogT> > {
    static const bool value = false;
  };

  template <typename ValT, typename LogT>
  struct Value< LFad::LogicalSparse<ValT,LogT> > {
    typedef typename ValueType< LFad::LogicalSparse<ValT,LogT> >::type value_type;
    static const value_type& eval(const LFad::LogicalSparse<ValT,LogT>& x) {
      return x.val(); }
  };

  template <typename ValT, typename LogT>
  struct ScalarValue< LFad::LogicalSparse<ValT,LogT> > {
    typedef typename ValueType< LFad::LogicalSparse<ValT,LogT> >::type value_type;
    typedef typename ScalarType< LFad::LogicalSparse<ValT,LogT> >::type scalar_type;
    static const scalar_type& eval(const LFad::LogicalSparse<ValT,LogT>& x) {
      return ScalarValue<value_type>::eval(x.val()); }
  };

  template <typename ValT, typename LogT>
  struct StringName< LFad::LogicalSparse<ValT,LogT> > {
    static std::string eval() {
      return std::string("Sacado::LFad::LoginalSparse< ") +
        StringName<ValT>::eval() + ", " +
        StringName<LogT>::eval() + " >"; }
  };

  template <typename ValT, typename LogT>
  struct IsEqual< LFad::LogicalSparse<ValT,LogT> > {
    static bool eval(const LFad::LogicalSparse<ValT,LogT>& x,
                     const LFad::LogicalSparse<ValT,LogT>& y) {
      return x.isEqualTo(y);
    }
  };

  template <typename ValT, typename LogT>
  struct IsStaticallySized< LFad::LogicalSparse<ValT,LogT> > {
    static const bool value = false;
  };

} // namespace Sacado

//
// Define Teuchos traits classes
//

// Promotion traits
#ifdef HAVE_SACADO_TEUCHOSNUMERICS
#include "Teuchos_PromotionTraits.hpp"
namespace Teuchos {
  template <typename ValT, typename LogT>
  struct PromotionTraits< Sacado::LFad::LogicalSparse<ValT,LogT>,
                          Sacado::LFad::LogicalSparse<ValT,LogT> > {
    typedef typename Sacado::Promote< Sacado::LFad::LogicalSparse<ValT,LogT>,
                                      Sacado::LFad::LogicalSparse<ValT,LogT> >::type
    promote;
  };

  template <typename ValT, typename LogT, typename R>
  struct PromotionTraits< Sacado::LFad::LogicalSparse<ValT,LogT>, R > {
    typedef typename Sacado::Promote< Sacado::LFad::LogicalSparse<ValT,LogT>, R >::type
    promote;
  };

  template <typename L, typename ValT, typename LogT>
  struct PromotionTraits< L, Sacado::LFad::LogicalSparse<ValT,LogT> > {
  public:
    typedef typename Sacado::Promote< L, Sacado::LFad::LogicalSparse<ValT,LogT> >::type
    promote;
  };
}
#endif

//
// These specialization implementations don't work for LFad because
// the value type (e.g., double) is different from the dx() type (e.g., bool)
//

// // Scalar traits
// #ifdef HAVE_SACADO_TEUCHOSCORE
// #include "Sacado_Fad_ScalarTraitsImp.hpp"
// namespace Teuchos {
  // template <typename ValT, typename LogT>
  // struct ScalarTraits< Sacado::LFad::LogicalSparse<ValT,LogT> > :
  //   public Sacado::Fad::ScalarTraitsImp< Sacado::LFad::LogicalSparse<ValT,LogT> >
  // {};
// }
// #endif

// // Serialization traits
// #ifdef HAVE_SACADO_TEUCHOSCOMM
// #include "Sacado_Fad_SerializationTraitsImp.hpp"
// namespace Teuchos {
  // template <typename Ordinal, typename ValT, typename LogT>
  // struct SerializationTraits<Ordinal, Sacado::LFad::LogicalSparse<ValT,LogT> > :
  //   public Sacado::Fad::SerializationTraitsImp< Ordinal,
  //                                            Sacado::LFad::LogicalSparse<ValT,LogT> >
  // {};
// }
// #endif

#endif // SACADO_LFAD_LOGICALSPARSETRAITS_HPP