vector_value.h

Go to the documentation of this file.

// The libMesh Finite Element Library.
// Copyright (C) 2002-2024 Benjamin S. Kirk, John W. Peterson, Roy H. Stogner

// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// Lesser General Public License for more details.

// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA



#ifndef LIBMESH_VECTOR_VALUE_H
#define LIBMESH_VECTOR_VALUE_H

// Local includes
#include "libmesh/type_vector.h"
#include "libmesh/compare_types.h"

#ifdef LIBMESH_HAVE_METAPHYSICL
#include "metaphysicl/raw_type.h"
#include "metaphysicl/ct_types.h"
#endif

// C++ includes

namespace libMesh
{

template <typename T>
class VectorValue : public TypeVector<T>
{
public:
  typedef T value_type;

  template <typename T2>
  struct rebind
  {
    typedef VectorValue<T2> other;
  };

  VectorValue ();

  VectorValue (const T & x,
               const T & y=0,
               const T & z=0);

  template <typename Scalar1, typename Scalar2, typename Scalar3>
  VectorValue (typename
               boostcopy::enable_if_c<ScalarTraits<Scalar1>::value,
               const Scalar1>::type & x,
               typename
               boostcopy::enable_if_c<ScalarTraits<Scalar2>::value,
               const Scalar2>::type & y = 0,
               typename
               boostcopy::enable_if_c<ScalarTraits<Scalar3>::value,
               const Scalar3>::type & z = 0);


  template <typename Scalar>
  VectorValue (const Scalar & x,
               typename
               boostcopy::enable_if_c<ScalarTraits<Scalar>::value,
               const Scalar>::type * sfinae = nullptr);


  template <typename T2>
  VectorValue (const VectorValue<T2> & p);

  template <typename T2>
  VectorValue (const TypeVector<T2> & p);

#ifdef LIBMESH_USE_COMPLEX_NUMBERS

  VectorValue (const TypeVector<Real> & p_re,
               const TypeVector<Real> & p_im);
#endif

  template <typename Scalar>
  typename boostcopy::enable_if_c<
    ScalarTraits<Scalar>::value,
    VectorValue &>::type
  operator = (const Scalar & libmesh_dbg_var(p))
  { libmesh_assert_equal_to (p, Scalar(0)); this->zero(); return *this; }
};

typedef VectorValue<Real>   RealVectorValue;
typedef VectorValue<Number> NumberVectorValue;
typedef RealVectorValue     RealGradient;
typedef NumberVectorValue   Gradient;



//------------------------------------------------------
// Inline functions

template <typename T>
inline
VectorValue<T>::VectorValue () :
  TypeVector<T> ()
{
}


template <typename T>
inline
VectorValue<T>::VectorValue (const T & x,
                             const T & y,
                             const T & z) :
  TypeVector<T> (x,y,z)
{
}



template <typename T>
template <typename Scalar1, typename Scalar2, typename Scalar3>
inline
VectorValue<T>::VectorValue (typename
                             boostcopy::enable_if_c<ScalarTraits<Scalar1>::value,
                             const Scalar1>::type & x,
                             typename
                             boostcopy::enable_if_c<ScalarTraits<Scalar2>::value,
                             const Scalar2>::type & y,
                             typename
                             boostcopy::enable_if_c<ScalarTraits<Scalar3>::value,
                             const Scalar3>::type & z) :
  TypeVector<T> (x,y,z)
{
}


template <typename T>
template <typename Scalar>
inline
VectorValue<T>::VectorValue (const Scalar & x,
                             typename
                             boostcopy::enable_if_c<ScalarTraits<Scalar>::value,
                             const Scalar>::type * /*sfinae*/) :
  TypeVector<T> (x)
{
}

template <typename T>
template <typename T2>
inline
VectorValue<T>::VectorValue (const VectorValue<T2> & p) :
  TypeVector<T> (p)
{
}



template <typename T>
template <typename T2>
inline
VectorValue<T>::VectorValue (const TypeVector<T2> & p) :
  TypeVector<T> (p)
{
}

#ifdef LIBMESH_USE_COMPLEX_NUMBERS
template <typename T>
inline
VectorValue<T>::VectorValue (const TypeVector<Real> & p_re,
                             const TypeVector<Real> & p_im) :
  TypeVector<T> (Complex (p_re(0), p_im(0)),
                 Complex (p_re(1), p_im(1)),
                 Complex (p_re(2), p_im(2)))
{
}
#endif

template <typename T>
struct CompareTypes<VectorValue<T>, VectorValue<T>>
{
  typedef VectorValue<T> supertype;
};

template <typename T, typename T2>
struct CompareTypes<VectorValue<T>, VectorValue<T2>>
{
  typedef VectorValue<typename CompareTypes<T,T2>::supertype> supertype;
};

template <typename T, typename T2>
struct CompareTypes<VectorValue<T>, TypeVector<T2>>
{
  typedef VectorValue<typename CompareTypes<T,T2>::supertype> supertype;
};

template <typename T, typename T2>
struct CompareTypes<TypeVector<T>, VectorValue<T2>>
{
  typedef VectorValue<typename CompareTypes<T,T2>::supertype> supertype;
};

} // namespace libMesh

#ifdef LIBMESH_HAVE_METAPHYSICL
namespace MetaPhysicL
{
template <typename T>
struct RawType<libMesh::VectorValue<T>>
{
  typedef libMesh::VectorValue<typename RawType<T>::value_type> value_type;

  static value_type value (const libMesh::VectorValue<T> & in)
    {
      value_type ret;
      for (unsigned int i = 0; i < LIBMESH_DIM; ++i)
        ret(i) = raw_value(in(i));

      return ret;
    }
};

template <typename T, typename U>
struct ReplaceAlgebraicType<libMesh::VectorValue<T>, U>
{
  typedef U type;
};
}
#endif

#endif // LIBMESH_VECTOR_VALUE_H