Sacado_ELRFad_GeneralFad.hpp

Go to the documentation of this file.

// $Id$ 
// $Source$ 
// @HEADER
// ***********************************************************************
// 
//                           Sacado Package
//                 Copyright (2006) Sandia Corporation
// 
// Under the terms of Contract DE-AC04-94AL85000 with Sandia Corporation,
// the U.S. Government retains certain rights in this software.
// 
// 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
// Questions? Contact David M. Gay (dmgay@sandia.gov) or Eric T. Phipps
// (etphipp@sandia.gov).
// 
// ***********************************************************************
//
// The forward-mode AD classes in Sacado are a derivative work of the
// expression template classes in the Fad package by Nicolas Di Cesare.  
// The following banner is included in the original Fad source code:
//
// ************ DO NOT REMOVE THIS BANNER ****************
//
//  Nicolas Di Cesare <Nicolas.Dicesare@ann.jussieu.fr>
//  http://www.ann.jussieu.fr/~dicesare
//
//            CEMRACS 98 : C++ courses, 
//         templates : new C++ techniques 
//            for scientific computing 
// 
//********************************************************
//
//  A short implementation ( not all operators and 
//  functions are overloaded ) of 1st order Automatic
//  Differentiation in forward mode (FAD) using
//  EXPRESSION TEMPLATES.
//
//********************************************************
// @HEADER

#ifndef SACADO_ELRFAD_GENERALFAD_HPP
#define SACADO_ELRFAD_GENERALFAD_HPP

#include "Sacado_ELRFad_Expression.hpp"
#include "Sacado_dummy_arg.hpp"

namespace Sacado {

  namespace ELRFad {


    template <typename T, typename Storage> 
    class GeneralFad : public Storage {

    public:

      typedef T value_type;

      typedef typename ScalarType<T>::type scalar_type;


      GeneralFad() : Storage(T(0.)), update_val_(true) {}


      GeneralFad(const T & x) : Storage(x), update_val_(true) {}


      GeneralFad(const int sz, const T & x) : 
  Storage(sz, x), update_val_(true) {}


      GeneralFad(const int sz, const int i, const T & x) : 
  Storage(sz, x), update_val_(true) { 
  this->fastAccessDx(i)=1.; 
      }

      GeneralFad(const GeneralFad& x) : 
  Storage(x), update_val_(x.update_val_) {}

      template <typename S> GeneralFad(const Expr<S>& x);

      ~GeneralFad() {}


      void diff(const int ith, const int n);

      void setUpdateValue(bool update_val) { update_val_ = update_val; }

      bool updateValue() const { return update_val_; }

      template <typename S>
      bool isEqualTo(const Expr<S>& x) const {
  typedef IsEqual<value_type> IE;
  if (x.size() != this->size()) return false;
  bool eq = IE::eval(x.val(), this->val());
  for (int i=0; i<this->size(); i++)
    eq = eq && IE::eval(x.dx(i), this->dx(i));
  return eq;
      }



      int availableSize() const { return this->length(); }

      bool hasFastAccess() const { return this->size()!=0;}

      bool isPassive() const { return this->size()==0;}
      
      void setIsConstant(bool is_const) { 
  if (is_const && this->size()!=0)
    this->resize(0);
      }
    


      GeneralFad& operator=(const T& val);

      GeneralFad& 
      operator=(const GeneralFad& x);

      template <typename S> 
      GeneralFad& operator=(const Expr<S>& x); 



      GeneralFad& operator += (const T& x);

      GeneralFad& operator -= (const T& x);

      GeneralFad& operator *= (const T& x);

      GeneralFad& operator /= (const T& x);


      GeneralFad& operator += (const typename dummy<value_type,scalar_type>::type& x);


      GeneralFad& operator -= (const typename dummy<value_type,scalar_type>::type& x);


      GeneralFad& operator *= (const typename dummy<value_type,scalar_type>::type& x);


      GeneralFad& operator /= (const typename dummy<value_type,scalar_type>::type& x);

      template <typename S> 
      GeneralFad& operator += (const Expr<S>& x);

      template <typename S> 
      GeneralFad& operator -= (const Expr<S>& x);
  
      template <typename S> 
      GeneralFad& operator *= (const Expr<S>& x);

      template <typename S> 
      GeneralFad& operator /= (const Expr<S>& x);


    protected:

      bool update_val_;

      // Functor for mpl::for_each to compute the local accumulation
      // of a tangent derivative
      template <typename ExprT>
      struct FastLocalAccumOp {
  typedef typename ExprT::value_type value_type;
  static const int N = ExprT::num_args;
  const ExprT& x;
  mutable value_type t;
  value_type partials[N];
  const typename ExprT::base_expr_type* args[N];
  int i;
  inline FastLocalAccumOp(const ExprT& x_) : x(x_) { 
    x.computePartials(value_type(1.), partials); 
    for (int j=0; j<N; j++)
      args[j] = &(x.getArg(j));
  }
  template <typename ArgT>
  inline void operator () (ArgT arg) const {
    const int Arg = ArgT::value;
    t += partials[Arg] * args[Arg]->fastAccessDx(i);
  }
      };

      template <typename ExprT>
      struct SlowLocalAccumOp : FastLocalAccumOp<ExprT> {
  inline SlowLocalAccumOp(const ExprT& x_) : 
    FastLocalAccumOp<ExprT>(x_) {}
  template <typename ArgT>
  inline void operator () (ArgT arg) const {
    const int Arg = ArgT::value;
    if (this->x.template isActive<Arg>())
      this->t += this->partials[Arg] * this->args[Arg]->fastAccessDx(this->i);
  }
      };

    }; // class GeneralFad

    
    template <typename T, typename Storage>
    std::ostream& operator << (std::ostream& os, 
                               const GeneralFad<T,Storage>& x) {
      os << x.val() << " [";
      
      for (int i=0; i< x.size(); i++) {
        os << " " << x.dx(i);
      }

      os << " ]";
      return os;
    }

  } // namespace ELRFad

} // namespace Sacado

#include "Sacado_ELRFad_GeneralFadImp.hpp"

#endif // SACADO_ELRFAD_GENERALFAD_HPP