vector_value.h

Go to the documentation of this file.

// The libMesh Finite Element Library.
// Copyright (C) 2002-2026 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
               std::enable_if<ScalarTraits<Scalar1>::value,
               const Scalar1>::type & x,
               typename
               std::enable_if<ScalarTraits<Scalar2>::value,
               const Scalar2>::type & y = 0,
               typename
               std::enable_if<ScalarTraits<Scalar3>::value,
               const Scalar3>::type & z = 0);
 
 
  template <typename Scalar>
  VectorValue (const Scalar & x,
               typename
               std::enable_if<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 std::enable_if<
    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
                             std::enable_if<ScalarTraits<Scalar1>::value,
                             const Scalar1>::type & x,
                             typename
                             std::enable_if<ScalarTraits<Scalar2>::value,
                             const Scalar2>::type & y,
                             typename
                             std::enable_if<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
                             std::enable_if<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