Thyra_ModelEvaluatorBase_decl.hpp

// @HEADER
// *****************************************************************************
//    Thyra: Interfaces and Support for Abstract Numerical Algorithms
//
// Copyright 2004 NTESS and the Thyra contributors.
// SPDX-License-Identifier: BSD-3-Clause
// *****************************************************************************
// @HEADER
 
#ifndef THYRA_MODEL_EVALUATOR_BASE_DECL_HPP
#define THYRA_MODEL_EVALUATOR_BASE_DECL_HPP
 
 
#include "Thyra_LinearOpWithSolveBase.hpp"
#include "Teuchos_Describable.hpp"
#include "Teuchos_any.hpp"
#include "Teuchos_Assert.hpp"
 
#ifdef HAVE_THYRA_ME_POLYNOMIAL
#  include "Teuchos_Polynomial.hpp"
#endif
 
namespace Stokhos {
  class ProductEpetraVector;
  class ProductEpetraMultiVector;
  class ProductEpetraOperator;
}
 
namespace Thyra {
 
 
class ModelEvaluatorBase
  : virtual public Teuchos::Describable,
    virtual public Teuchos::VerboseObject<ModelEvaluatorBase>
{
public:
 
 
  enum EInArgsMembers {
    IN_ARG_x_dot_dot 
    ,IN_ARG_x_dot 
    ,IN_ARG_x 
    ,IN_ARG_x_dot_poly 
    ,IN_ARG_x_poly 
    ,IN_ARG_x_dot_mp 
    ,IN_ARG_x_mp 
    ,IN_ARG_t 
    ,IN_ARG_alpha 
    ,IN_ARG_beta 
    ,IN_ARG_W_x_dot_dot_coeff 
    ,IN_ARG_step_size
    ,IN_ARG_stage_number
  };
  static const int NUM_E_IN_ARGS_MEMBERS=13;
 
  enum EInArgs_p_mp {
    IN_ARG_p_mp 
  };
 
  template<class Scalar>
  class InArgs : public Teuchos::Describable {
  public:
    typedef typename Teuchos::ScalarTraits<Scalar>::magnitudeType ScalarMag;
    InArgs();
    int Np() const;
    int Ng() const;
    bool supports(EInArgsMembers arg) const;
    void set_x_dot_dot( const RCP<const VectorBase<Scalar> > &x_dot_dot );
    RCP<const VectorBase<Scalar> > get_x_dot_dot() const;
    void set_x_dot( const RCP<const VectorBase<Scalar> > &x_dot );
    RCP<const VectorBase<Scalar> > get_x_dot() const;
    void set_x( const RCP<const VectorBase<Scalar> > &x );
    RCP<const VectorBase<Scalar> > get_x() const;
 
    void set_x_direction( const RCP<const MultiVectorBase<Scalar> > &x_direction );
    void set_p_direction( int l, const RCP<const MultiVectorBase<Scalar> > &p_direction_l );
    RCP<const MultiVectorBase<Scalar> > get_x_direction() const;
    RCP<const MultiVectorBase<Scalar> > get_p_direction(int l) const;
 
    void set_f_multiplier( const RCP<const VectorBase<Scalar> > &f_multiplier );
    RCP<const VectorBase<Scalar> > get_f_multiplier() const;
    void set_g_multiplier( int j, const RCP<const VectorBase<Scalar> > &g_multiplier );
    RCP<const VectorBase<Scalar> > get_g_multiplier(int j) const;
 
    template<typename ObjectType>
    bool supports() const;
    template<typename ObjectType>
    void set(const RCP<const ObjectType>& uo);
    template<typename ObjectType>
    RCP<const ObjectType> get() const;
    
#ifdef HAVE_THYRA_ME_POLYNOMIAL
    void set_x_poly( 
      const RCP<const Teuchos::Polynomial< VectorBase<Scalar> > > &x_poly );
    RCP<const Teuchos::Polynomial< VectorBase<Scalar> > > get_x_poly() const;
    void set_x_dot_poly(
      const RCP<const Teuchos::Polynomial< VectorBase<Scalar> > > &x_dot_poly );
    RCP<const Teuchos::Polynomial< VectorBase<Scalar> > > get_x_dot_poly() const;
#endif // HAVE_THYRA_ME_POLYNOMIAL
    void set_p( int l, const RCP<const VectorBase<Scalar> > &p_l );
    RCP<const VectorBase<Scalar> > get_p(int l) const;
 
 
    void set_x_dot_mp( const RCP<const Stokhos::ProductEpetraVector > &x_dot_mp );
    RCP<const Stokhos::ProductEpetraVector > get_x_dot_mp() const;
 
    void set_x_mp( const RCP<const Stokhos::ProductEpetraVector > &x_mp );
    RCP<const Stokhos::ProductEpetraVector > get_x_mp() const;
 
    void set_p_mp( int l, const RCP<const Stokhos::ProductEpetraVector > &p_mp_l );
    RCP<const Stokhos::ProductEpetraVector > get_p_mp(int l) const;
    bool supports(EInArgs_p_mp arg, int l) const;
 
 
    void set_t( ScalarMag t );
    ScalarMag get_t() const;
    void set_alpha( Scalar alpha );
    Scalar get_alpha() const;
    void set_beta( Scalar beta );
    Scalar get_beta() const;
    void set_W_x_dot_dot_coeff( Scalar W_x_dot_dot_coeff );
    Scalar get_W_x_dot_dot_coeff() const;
    void set_step_size( Scalar step_size);
    Scalar get_step_size() const;
    void set_stage_number( Scalar stage_number);
    Scalar get_stage_number() const;
    void setArgs(
      const InArgs<Scalar>& inArgs, bool ignoreUnsupported = false,
      bool cloneObjects = false
      );
    void assertSameSupport( const InArgs<Scalar> &inArgs ) const;
    std::string modelEvalDescription() const;
    std::string description() const;
    void describe(
      Teuchos::FancyOStream &out, const Teuchos::EVerbosityLevel verbLevel
      ) const;
  protected:
    void _setModelEvalDescription( const std::string &modelEvalDescription );
    void _set_Np_Ng(int Np, int Ng);
    void _setSupports( EInArgsMembers arg, bool supports );
    void _setSupports( EInArgs_p_mp arg, int l, bool supports );
    void _setSupports( const InArgs<Scalar>& inputInArgs, const int Np );
    template<typename ObjectType>
    void _setSupports( const bool supports );
    void _setUnsupportsAndRelated( EInArgsMembers arg );
  private:
    // types
    typedef Teuchos::Array<RCP<const VectorBase<Scalar> > > p_t;
    typedef Teuchos::Array<RCP<const MultiVectorBase<Scalar> > > p_direction_t;
    // data
    std::string modelEvalDescription_;
    RCP<const VectorBase<Scalar> > x_dot_dot_;
    RCP<const VectorBase<Scalar> > x_dot_;
    RCP<const VectorBase<Scalar> > x_;
    RCP<const MultiVectorBase<Scalar> > x_direction_;
    RCP<const Stokhos::ProductEpetraVector > x_dot_mp_;
    RCP<const Stokhos::ProductEpetraVector > x_mp_;
 
    RCP<const VectorBase<Scalar> > f_multiplier_;
    p_t g_multiplier_;
    Teuchos::Array< RCP< const Stokhos::ProductEpetraVector > > p_mp_;
#ifdef HAVE_THYRA_ME_POLYNOMIAL
    RCP<const Teuchos::Polynomial< VectorBase<Scalar> > > x_dot_poly_;
    RCP<const Teuchos::Polynomial< VectorBase<Scalar> > > x_poly_;
#endif // HAVE_THYRA_ME_POLYNOMIAL
    p_t p_;
    p_direction_t p_direction_;
    ScalarMag t_;
    Scalar alpha_;
    Scalar beta_;
    Scalar W_x_dot_dot_coeff_;
    Scalar step_size_;
    Scalar stage_number_;
    bool supports_[NUM_E_IN_ARGS_MEMBERS];
    Teuchos::Array<bool> supports_p_mp_; //Np
    // functions
    void assert_supports(EInArgsMembers arg) const;
    void assert_supports(EInArgs_p_mp arg, int l) const;
    void assert_l(int l) const;
    void assert_j(int j) const;
 
    std::map<std::string,Teuchos::any> extended_inargs_;
  };
 
  enum EEvalType {
    EVAL_TYPE_EXACT = 0, 
    EVAL_TYPE_APPROX_DERIV, 
    EVAL_TYPE_VERY_APPROX_DERIV 
  };
 
  template<class ObjType>
  class Evaluation : public RCP<ObjType> {
  public:
    Evaluation(Teuchos::ENull)
      : evalType_(EVAL_TYPE_EXACT)  {}
    Evaluation() : evalType_(EVAL_TYPE_EXACT) {}
    Evaluation( const RCP<ObjType> &obj )
      : RCP<ObjType>(obj), evalType_(EVAL_TYPE_EXACT) {}
    Evaluation( const RCP<ObjType> &obj, EEvalType evalType )
      : RCP<ObjType>(obj), evalType_(evalType) {}
    EEvalType getType() const { return evalType_; }
    void reset( const RCP<ObjType> &obj, EEvalType evalType ) 
    { this->operator=(obj); evalType_ = evalType; }
   private:
    EEvalType evalType_;
  };
 
  enum EDerivativeMultiVectorOrientation {
    DERIV_MV_JACOBIAN_FORM, 
    DERIV_MV_GRADIENT_FORM, 
    DERIV_MV_BY_COL = DERIV_MV_JACOBIAN_FORM, 
    DERIV_TRANS_MV_BY_ROW = DERIV_MV_GRADIENT_FORM 
  };
 
  enum EDerivativeLinearOp {
    DERIV_LINEAR_OP 
  };
 
  class DerivativeSupport {
  public:
    DerivativeSupport()
      :supportsLinearOp_(false), supportsMVByCol_(false), supportsTransMVByRow_(false)
      {}
    DerivativeSupport( EDerivativeLinearOp )
      :supportsLinearOp_(true), supportsMVByCol_(false), supportsTransMVByRow_(false)
      {}
    DerivativeSupport( EDerivativeMultiVectorOrientation mvOrientation )
      :supportsLinearOp_(false), supportsMVByCol_(mvOrientation==DERIV_MV_BY_COL)
      ,supportsTransMVByRow_(mvOrientation==DERIV_TRANS_MV_BY_ROW)
      {}
    DerivativeSupport& plus(EDerivativeLinearOp)
      { supportsLinearOp_ = true; return *this; }
    DerivativeSupport& plus(EDerivativeMultiVectorOrientation mvOrientation)
      {
        switch(mvOrientation) {
          case DERIV_MV_BY_COL: supportsMVByCol_ = true; break;
          case DERIV_TRANS_MV_BY_ROW: supportsTransMVByRow_ = true; break;
          default: TEUCHOS_TEST_FOR_EXCEPT(true);
        }
        return *this;
      }
    bool none() const
      { return ( !supportsLinearOp_ && !supportsMVByCol_ && !supportsTransMVByRow_ ); }
    bool supports(EDerivativeLinearOp) const
      { return supportsLinearOp_; }
    bool supports(EDerivativeMultiVectorOrientation mvOrientation) const
      {
        switch(mvOrientation) {
          case DERIV_MV_BY_COL: return supportsMVByCol_;
          case DERIV_TRANS_MV_BY_ROW: return supportsTransMVByRow_;
          default: TEUCHOS_TEST_FOR_EXCEPT(true);
        }
        TEUCHOS_UNREACHABLE_RETURN(false);
      }
    bool isSameSupport(const DerivativeSupport &derivSupport) const
      {
        return (
          supportsLinearOp_ == derivSupport.supportsLinearOp_
          && supportsMVByCol_ == derivSupport.supportsMVByCol_
          && supportsTransMVByRow_ == derivSupport.supportsTransMVByRow_
          );
      } 
    std::string description() const;
  private:
    bool supportsLinearOp_;
    bool supportsMVByCol_;
    bool supportsTransMVByRow_;
  public:
  };
  
  enum EDerivativeLinearity {
    DERIV_LINEARITY_UNKNOWN      
    ,DERIV_LINEARITY_CONST       
    ,DERIV_LINEARITY_NONCONST    
  };
 
  enum ERankStatus {
    DERIV_RANK_UNKNOWN       
    ,DERIV_RANK_FULL         
    ,DERIV_RANK_DEFICIENT    
  };
 
  struct DerivativeProperties {
    EDerivativeLinearity     linearity;
    ERankStatus              rank;
    bool                     supportsAdjoint;
    DerivativeProperties()
      :linearity(DERIV_LINEARITY_UNKNOWN),
       rank(DERIV_RANK_UNKNOWN),supportsAdjoint(false)
      {}
    DerivativeProperties(
      EDerivativeLinearity in_linearity, ERankStatus in_rank,
      bool in_supportsAdjoint
      )
      :linearity(in_linearity),rank(in_rank),
       supportsAdjoint(in_supportsAdjoint)
      {}
  };
 
  template<class Scalar>
  class DerivativeMultiVector {
  public:
    DerivativeMultiVector()
      :orientation_(DERIV_MV_BY_COL)
      {}
    DerivativeMultiVector(
      const RCP<MultiVectorBase<Scalar> > &mv
      ,const EDerivativeMultiVectorOrientation orientation = DERIV_MV_BY_COL
      ) : mv_(mv.assert_not_null()), orientation_(orientation) {}
    void changeOrientation( const EDerivativeMultiVectorOrientation orientation )
      { orientation_ = orientation; };
    const DerivativeMultiVector<Scalar>& assert_not_null() const
      { mv_.assert_not_null(); return *this; }
    RCP<MultiVectorBase<Scalar> > getMultiVector() const
      { return mv_; }
    EDerivativeMultiVectorOrientation getOrientation() const
      { return orientation_; }
    std::string description() const;
    void describe( 
      Teuchos::FancyOStream &out, const Teuchos::EVerbosityLevel verbLevel
      ) const;
  private:
    RCP<MultiVectorBase<Scalar> > mv_;
    EDerivativeMultiVectorOrientation orientation_;
  };
 
  template<class Scalar>
  class Derivative {
  public:
    Derivative() {}
    Derivative( const RCP<LinearOpBase<Scalar> > &lo )
      : lo_(lo.assert_not_null()) {}
    Derivative(
      const RCP<MultiVectorBase<Scalar> > &mv,
      const EDerivativeMultiVectorOrientation orientation = DERIV_MV_BY_COL
      ) : dmv_(mv,orientation) {}
    Derivative( const DerivativeMultiVector<Scalar> &dmv )
      : dmv_(dmv) {}
    bool isEmpty() const
      { return ( lo_.get()==NULL && dmv_.getMultiVector().get()==NULL ); }
    const Derivative<Scalar>& assert_not_null() const
      { dmv_.assert_not_null(); lo_.assert_not_null(); return *this; }
    RCP<LinearOpBase<Scalar> > getLinearOp() const
      { return lo_; }
    RCP<MultiVectorBase<Scalar> > getMultiVector() const
      { return dmv_.getMultiVector(); }
    EDerivativeMultiVectorOrientation getMultiVectorOrientation() const
      { return dmv_.getOrientation(); }
    DerivativeMultiVector<Scalar> getDerivativeMultiVector() const
      { return dmv_; }
    bool isSupportedBy( const DerivativeSupport &derivSupport ) const
      {
        // If there is not derivative support then we will return false!
        if (derivSupport.none())
          return false;
        if (!is_null(getMultiVector())) {
          return derivSupport.supports(getMultiVectorOrientation());
        }
        else if(!is_null(getLinearOp())) {
          return derivSupport.supports(DERIV_LINEAR_OP);
        }
        // If nothing is set then of course we support that!
        return true;
      }
    std::string description() const;
    void describe( 
      Teuchos::FancyOStream &out, const Teuchos::EVerbosityLevel verbLevel
      ) const;
  private:
    RCP<LinearOpBase<Scalar> > lo_;
    DerivativeMultiVector<Scalar> dmv_;
  };
 
  class MPDerivativeMultiVector {
  public:
    MPDerivativeMultiVector()
      :orientation_(DERIV_MV_BY_COL)
      {}
    MPDerivativeMultiVector(
      const RCP<Stokhos::ProductEpetraMultiVector > &mv
      ,const EDerivativeMultiVectorOrientation orientation = DERIV_MV_BY_COL
      ,const Teuchos::Array<int> &paramIndexes = Teuchos::Array<int>()
      ) : mv_(mv.assert_not_null()), orientation_(orientation), paramIndexes_(paramIndexes) {}
    void changeOrientation( const EDerivativeMultiVectorOrientation orientation )
      { orientation_ = orientation; };
    const MPDerivativeMultiVector& assert_not_null() const
      { mv_.assert_not_null(); return *this; }
    RCP<Stokhos::ProductEpetraMultiVector > getMultiVector() const
      { return mv_; }
    EDerivativeMultiVectorOrientation getOrientation() const
      { return orientation_; }
    const Teuchos::Array<int>& getParamIndexes() const
      { return paramIndexes_; }
    std::string description() const {return "\n";}
    void describe( 
      Teuchos::FancyOStream &/* out */, const Teuchos::EVerbosityLevel /* verbLevel */
      ) const {}
  private:
    RCP<Stokhos::ProductEpetraMultiVector > mv_;
    EDerivativeMultiVectorOrientation orientation_;
    Teuchos::Array<int> paramIndexes_;
  };
 
  class MPDerivative {
  public:
    MPDerivative() {}
    MPDerivative( const RCP<Stokhos::ProductEpetraOperator > &lo )
      : lo_(lo.assert_not_null()) {}
    MPDerivative(
      const RCP<Stokhos::ProductEpetraMultiVector > &mv,
      const EDerivativeMultiVectorOrientation orientation = DERIV_MV_BY_COL
      ) : dmv_(mv,orientation) {}
    MPDerivative( const MPDerivativeMultiVector &dmv )
      : dmv_(dmv) {}
    bool isEmpty() const
      { return ( lo_.get()==NULL && dmv_.getMultiVector().get()==NULL ); }
    const MPDerivative& assert_not_null() const
      { dmv_.assert_not_null(); lo_.assert_not_null(); return *this; }
    RCP<Stokhos::ProductEpetraOperator > getLinearOp() const
      { return lo_; }
    RCP<Stokhos::ProductEpetraMultiVector > getMultiVector() const
      { return dmv_.getMultiVector(); }
    EDerivativeMultiVectorOrientation getMultiVectorOrientation() const
      { return dmv_.getOrientation(); }
    MPDerivativeMultiVector getDerivativeMultiVector() const
      { return dmv_; }
    bool isSupportedBy( const DerivativeSupport &derivSupport ) const
      {
        // If there is not derivative support then we will return false!
        if (derivSupport.none())
          return false;
        if (!is_null(getMultiVector())) {
          return derivSupport.supports(getMultiVectorOrientation());
        }
        else if(!is_null(getLinearOp())) {
          return derivSupport.supports(DERIV_LINEAR_OP);
        }
        // If nothing is set then of course we support that!
        return true;
      }
    std::string description() const {return "\n";}
    void describe( 
      Teuchos::FancyOStream &/* out */, const Teuchos::EVerbosityLevel /* verbLevel */
      ) const {}
  private:
    RCP<Stokhos::ProductEpetraOperator > lo_;
    MPDerivativeMultiVector dmv_;
  };
 
  enum EOutArgsMembers {
    OUT_ARG_f,  
    OUT_ARG_W,  
    OUT_ARG_f_mp,  
    OUT_ARG_W_mp,  
    OUT_ARG_W_op,  
    OUT_ARG_W_prec, 
    OUT_ARG_f_poly  
  };
  static const int NUM_E_OUT_ARGS_MEMBERS=7;
 
  enum EOutArgsDfDp {
    OUT_ARG_DfDp   
  };
 
  enum EOutArgsDgDx_dot {
    OUT_ARG_DgDx_dot   
  };
 
  enum EOutArgsDgDx {
    OUT_ARG_DgDx   
  };
 
  enum EOutArgsDgDp {
    OUT_ARG_DgDp   
  };
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
  enum EOutArgs_hess_vec_prod_f_xx {
    OUT_ARG_hess_vec_prod_f_xx   
  };
 
  enum EOutArgs_hess_vec_prod_f_xp {
    OUT_ARG_hess_vec_prod_f_xp   
  };
 
  enum EOutArgs_hess_vec_prod_f_px {
    OUT_ARG_hess_vec_prod_f_px   
  };
 
  enum EOutArgs_hess_vec_prod_f_pp {
    OUT_ARG_hess_vec_prod_f_pp   
  };
 
  enum EOutArgs_hess_vec_prod_g_xx {
    OUT_ARG_hess_vec_prod_g_xx   
  };
 
  enum EOutArgs_hess_vec_prod_g_xp {
    OUT_ARG_hess_vec_prod_g_xp   
  };
 
  enum EOutArgs_hess_vec_prod_g_px {
    OUT_ARG_hess_vec_prod_g_px   
  };
 
  enum EOutArgs_hess_vec_prod_g_pp {
    OUT_ARG_hess_vec_prod_g_pp   
  };
 
  enum EOutArgs_hess_f_xx {
    OUT_ARG_hess_f_xx   
  };
 
  enum EOutArgs_hess_f_xp {
    OUT_ARG_hess_f_xp   
  };
 
  enum EOutArgs_hess_f_pp {
    OUT_ARG_hess_f_pp   
  };
 
  enum EOutArgs_hess_g_xx {
    OUT_ARG_hess_g_xx   
  };
 
  enum EOutArgs_hess_g_xp {
    OUT_ARG_hess_g_xp   
  };
 
  enum EOutArgs_hess_g_pp {
    OUT_ARG_hess_g_pp   
  };
 
  enum EOutArgs_H_xx {
    OUT_ARG_H_xx   
  };
 
  enum EOutArgs_H_xp {
    OUT_ARG_H_xp   
  };
 
  enum EOutArgs_H_pp {
    OUT_ARG_H_pp   
  };
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
  enum EOutArgsDfDp_mp {
    OUT_ARG_DfDp_mp   
  };
 
  enum EOutArgs_g_mp {
    OUT_ARG_g_mp   
  };
 
  enum EOutArgsDgDx_dot_mp {
    OUT_ARG_DgDx_dot_mp   
  };
 
  enum EOutArgsDgDx_mp {
    OUT_ARG_DgDx_mp   
  };
 
  enum EOutArgsDgDp_mp {
    OUT_ARG_DgDp_mp   
  };
  
  template<class Scalar>
  class OutArgs : public Teuchos::Describable {
  public:
    OutArgs();
    int Np() const;
    int Ng() const;
    bool supports(EOutArgsMembers arg) const;
    const DerivativeSupport& supports(EOutArgsDfDp arg, int l) const;
    const DerivativeSupport& supports(EOutArgsDgDx_dot arg, int j) const;
    const DerivativeSupport& supports(EOutArgsDgDx arg, int j) const;
    const DerivativeSupport& supports(EOutArgsDgDp arg, int j, int l) const;
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
    bool supports(EOutArgs_hess_vec_prod_f_xx arg) const;
    bool supports(EOutArgs_hess_vec_prod_f_xp arg, int l) const;
    bool supports(EOutArgs_hess_vec_prod_f_px arg, int l) const;
    bool supports(EOutArgs_hess_vec_prod_f_pp arg, int l1, int l2) const;
    bool supports(EOutArgs_hess_vec_prod_g_xx arg, int j) const;
    bool supports(EOutArgs_hess_vec_prod_g_xp arg, int j, int l) const;
    bool supports(EOutArgs_hess_vec_prod_g_px arg, int j, int l) const;
    bool supports(EOutArgs_hess_vec_prod_g_pp arg, int j, int l1, int l2) const;
    bool supports(EOutArgs_hess_f_xx arg) const;
    bool supports(EOutArgs_hess_f_xp arg, int l) const;
    bool supports(EOutArgs_hess_f_pp arg, int l1, int l2) const;
    bool supports(EOutArgs_hess_g_xx arg, int j) const;
    bool supports(EOutArgs_hess_g_xp arg, int j, int l) const;
    bool supports(EOutArgs_hess_g_pp arg, int j, int l1, int l2) const;
    bool supports(EOutArgs_H_xx arg) const;
    bool supports(EOutArgs_H_xp arg, int l) const;
    bool supports(EOutArgs_H_pp arg, int l1, int l2) const;
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    void set_f( const Evaluation<VectorBase<Scalar> > &f );
    Evaluation<VectorBase<Scalar> > get_f() const;
    void set_g( int j, const Evaluation<VectorBase<Scalar> > &g_j );
    Evaluation<VectorBase<Scalar> > get_g(int j) const;
    void set_W( const RCP<LinearOpWithSolveBase<Scalar> > &W );
    RCP<LinearOpWithSolveBase<Scalar> > get_W() const;
 
    template<typename ObjectType>
    bool supports() const;
    template<typename ObjectType>
    void set(const RCP<const ObjectType>& uo);
    template<typename ObjectType>
    RCP<const ObjectType> get() const;
 
    const DerivativeSupport& supports(EOutArgsDfDp_mp arg, int l) const;
    bool supports(EOutArgs_g_mp arg, int j) const;
    const DerivativeSupport& supports(EOutArgsDgDx_dot_mp arg, int j) const;
    const DerivativeSupport& supports(EOutArgsDgDx_mp arg, int j) const;
    const DerivativeSupport& supports(EOutArgsDgDp_mp arg, int j, int l) const;
    void set_f_mp( const RCP<Stokhos::ProductEpetraVector> &f_mp );
    RCP<Stokhos::ProductEpetraVector> get_f_mp() const;
    void set_g_mp( int j, const RCP<Stokhos::ProductEpetraVector> &g_mp_j );
    RCP<Stokhos::ProductEpetraVector> get_g_mp(int j) const;
    void set_W_mp( const RCP<Stokhos::ProductEpetraOperator> &W_mp );
    RCP<Stokhos::ProductEpetraOperator> get_W_mp() const;
 
    void set_W_op( const RCP<LinearOpBase<Scalar> > &W_op );
    RCP<LinearOpBase<Scalar> > get_W_op() const;
    void set_W_prec( const RCP<PreconditionerBase<Scalar> > &W_prec );
    RCP<PreconditionerBase<Scalar> > get_W_prec() const;
    DerivativeProperties get_W_properties() const;
    void set_DfDp(int l,  const Derivative<Scalar> &DfDp_l);
    Derivative<Scalar> get_DfDp(int l) const;
    DerivativeProperties get_DfDp_properties(int l) const;
    void set_DgDx_dot(int j, const Derivative<Scalar> &DgDx_dot_j);
    Derivative<Scalar> get_DgDx_dot(int j) const;
    DerivativeProperties get_DgDx_dot_properties(int j) const;
    void set_DgDx(int j, const Derivative<Scalar> &DgDx_j);
    Derivative<Scalar> get_DgDx(int j) const;
    DerivativeProperties get_DgDx_properties(int j) const;
    void set_DgDp( int j, int l, const Derivative<Scalar> &DgDp_j_l );
    Derivative<Scalar> get_DgDp(int j, int l) const;
    DerivativeProperties get_DgDp_properties(int j, int l) const;
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    void set_hess_vec_prod_f_xx(const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_f_xx);
    void set_hess_vec_prod_f_xp(int l, const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_f_xp_l);
    void set_hess_vec_prod_f_px(int l, const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_f_px_l);
    void set_hess_vec_prod_f_pp(int l1, int l2, const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_f_pp_l1_l2);
 
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_f_xx() const;
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_f_xp(int l) const;
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_f_px(int l) const;
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_f_pp(int l1, int l2) const;
 
    void set_hess_vec_prod_g_xx(int j, const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_g_xx_j);
    void set_hess_vec_prod_g_xp(int j, int l, const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_g_xp_j_l);
    void set_hess_vec_prod_g_px(int j, int l, const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_g_px_j_l);
    void set_hess_vec_prod_g_pp(int j, int l1, int l2, const RCP<MultiVectorBase<Scalar> > &hess_vec_prod_g_pp_j_l1_l2);
 
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_g_xx(int j) const;
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_g_xp(int j, int l) const;
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_g_px(int j, int l) const;
    RCP<MultiVectorBase<Scalar> > get_hess_vec_prod_g_pp(int j, int l1, int l2) const;
 
    void set_hess_f_xx(const RCP<LinearOpBase<Scalar> > &hess_f_xx);
    void set_hess_f_xp(int l, const RCP<LinearOpBase<Scalar> > &hess_f_xp_l);
    void set_hess_f_pp(int l1, int l2, const RCP<LinearOpBase<Scalar> > &hess_f_pp_l1_l2);
    void set_hess_g_xx(int j, const RCP<LinearOpBase<Scalar> > &hess_g_xx_j);
    void set_hess_g_xp(int j, int l, const RCP<LinearOpBase<Scalar> > &hess_g_xp_j_l);
    void set_hess_g_pp(int j, int l1, int l2, const RCP<LinearOpBase<Scalar> > &hess_g_pp_j_l1_l2);
    void set_H_xx(const RCP<LinearOpBase<Scalar> > &H_xx);
    void set_H_xp(int l, const RCP<LinearOpBase<Scalar> > &H_xp_l);
    void set_H_pp(int l1, int l2, const RCP<LinearOpBase<Scalar> > &H_pp_l1_l2);
 
    RCP<LinearOpBase<Scalar> > get_hess_f_xx() const;
    RCP<LinearOpBase<Scalar> > get_hess_f_xp(int l) const;
    RCP<LinearOpBase<Scalar> > get_hess_f_pp(int l1, int l2) const;
    RCP<LinearOpBase<Scalar> > get_hess_g_xx(int j) const;
    RCP<LinearOpBase<Scalar> > get_hess_g_xp(int j, int l) const;
    RCP<LinearOpBase<Scalar> > get_hess_g_pp(int j, int l1, int l2) const;
    RCP<LinearOpBase<Scalar> > get_H_xx() const;
    RCP<LinearOpBase<Scalar> > get_H_xp(int l) const;
    RCP<LinearOpBase<Scalar> > get_H_pp(int l1, int l2) const;
 
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    void set_DfDp_mp(int l,  const MPDerivative &DfDp_mp_l);
    MPDerivative get_DfDp_mp(int l) const;
    DerivativeProperties get_DfDp_mp_properties(int l) const;
    void set_DgDx_dot_mp(int j, const MPDerivative &DgDx_dot_mp_j);
    MPDerivative get_DgDx_dot_mp(int j) const;
    DerivativeProperties get_DgDx_dot_mp_properties(int j) const;
    void set_DgDx_mp(int j, const MPDerivative &DgDx_mp_j);
    MPDerivative get_DgDx_mp(int j) const;
    DerivativeProperties get_DgDx_mp_properties(int j) const;
    void set_DgDp_mp( int j, int l, const MPDerivative &DgDp_mp_j_l );
    MPDerivative get_DgDp_mp(int j, int l) const;
    DerivativeProperties get_DgDp_mp_properties(int j, int l) const;
 
#ifdef HAVE_THYRA_ME_POLYNOMIAL
    void set_f_poly( const RCP<Teuchos::Polynomial< VectorBase<Scalar> > > &f_poly );
    RCP<Teuchos::Polynomial< VectorBase<Scalar> > > get_f_poly() const;
#endif // HAVE_THYRA_ME_POLYNOMIAL
    void setArgs( const OutArgs<Scalar>& outArgs, bool ignoreUnsupported = false );
    void setFailed() const;
    bool isFailed() const;
    bool isEmpty() const;
    void assertSameSupport( const OutArgs<Scalar> &outArgs ) const;
    std::string modelEvalDescription() const;
    std::string description() const;
    void describe(
      Teuchos::FancyOStream &out, const Teuchos::EVerbosityLevel verbLevel
      ) const;
  protected:
    void _setModelEvalDescription( const std::string &modelEvalDescription );
    void _set_Np_Ng(int Np, int Ng);
    void _setSupports( EOutArgsMembers arg, bool supports );
    template<typename ObjectType>
    void _setSupports( const bool supports );
    void _setSupports( EOutArgsDfDp arg, int l, const DerivativeSupport& );
    void _setSupports( EOutArgsDgDx_dot arg, int j, const DerivativeSupport& );
    void _setSupports( EOutArgsDgDx arg, int j, const DerivativeSupport& );
    void _setSupports( EOutArgsDgDp arg, int j, int l, const DerivativeSupport& );
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    void _setSupports( EOutArgs_hess_vec_prod_f_xx arg, bool supports );
    void _setSupports( EOutArgs_hess_vec_prod_f_xp arg, int l, bool supports );
    void _setSupports( EOutArgs_hess_vec_prod_f_px arg, int l, bool supports );
    void _setSupports( EOutArgs_hess_vec_prod_f_pp arg, int l1, int l2, bool supports );
    void _setSupports( EOutArgs_hess_vec_prod_g_xx arg, int j, bool supports );
    void _setSupports( EOutArgs_hess_vec_prod_g_xp arg, int j, int l, bool supports );
    void _setSupports( EOutArgs_hess_vec_prod_g_px arg, int j, int l, bool supports );
    void _setSupports( EOutArgs_hess_vec_prod_g_pp arg, int j, int l1, int l2, bool supports );
 
    void _setSupports( EOutArgs_hess_f_xx arg, bool supports );
    void _setSupports( EOutArgs_hess_f_xp arg, int l, bool supports );
    void _setSupports( EOutArgs_hess_f_pp arg, int l1, int l2, bool supports );
    void _setSupports( EOutArgs_hess_g_xx arg, int j, bool supports );
    void _setSupports( EOutArgs_hess_g_xp arg, int j, int l, bool supports );
    void _setSupports( EOutArgs_hess_g_pp arg, int j, int l1, int l2, bool supports );
    void _setSupports( EOutArgs_H_xx arg, bool supports );
    void _setSupports( EOutArgs_H_xp arg, int l, bool supports );
    void _setSupports( EOutArgs_H_pp arg, int l1, int l2, bool supports );
 
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    void _setSupports( EOutArgs_g_mp arg, int j, bool supports );
    void _setSupports( EOutArgsDfDp_mp arg, int l, const DerivativeSupport& );
    void _setSupports( EOutArgsDgDx_dot_mp arg, int j, const DerivativeSupport& );
    void _setSupports( EOutArgsDgDx_mp arg, int j, const DerivativeSupport& );
    void _setSupports( EOutArgsDgDp_mp arg, int j, int l, const DerivativeSupport& );
 
    void _set_W_properties( const DerivativeProperties &properties );
    void _set_DfDp_properties( int l, const DerivativeProperties &properties );
    void _set_DgDx_dot_properties( int j, const DerivativeProperties &properties );
    void _set_DgDx_properties( int j, const DerivativeProperties &properties );
    void _set_DgDp_properties( int j, int l, const DerivativeProperties &properties );
 
    void _set_DfDp_mp_properties( int l, const DerivativeProperties &properties );
    void _set_DgDx_dot_mp_properties( int j, const DerivativeProperties &properties );
    void _set_DgDx_mp_properties( int j, const DerivativeProperties &properties );
    void _set_DgDp_mp_properties( int j, int l, const DerivativeProperties &properties );
 
    void _setSupports( const OutArgs<Scalar>& inputOutArgs );
    void _setUnsupportsAndRelated( EInArgsMembers arg );
    void _setUnsupportsAndRelated( EOutArgsMembers arg );
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
    void _setHessianSupports( const bool supports );
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
  private:
    // types
    typedef Teuchos::Array<Evaluation<VectorBase<Scalar> > > g_t;
    typedef Teuchos::Array<Derivative<Scalar> > deriv_t;
    typedef Teuchos::Array<DerivativeProperties> deriv_properties_t;
    typedef Teuchos::Array<DerivativeSupport> supports_t;
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
    typedef Teuchos::Array<RCP<LinearOpBase<Scalar> > > hess_t;
    typedef Teuchos::Array<RCP<MultiVectorBase<Scalar> > > hess_vec_t;
    typedef Teuchos::Array<bool> hess_supports_t;
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    // data
    std::string modelEvalDescription_;
    bool supports_[NUM_E_OUT_ARGS_MEMBERS];
    supports_t supports_DfDp_; // Np
    supports_t supports_DgDx_dot_; // Ng
    supports_t supports_DgDx_; // Ng
    supports_t supports_DgDp_; // Ng x Np
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    bool supports_hess_f_xx_;
    hess_supports_t supports_hess_f_xp_;
    hess_supports_t supports_hess_f_pp_;
    hess_supports_t supports_hess_g_xx_;
    hess_supports_t supports_hess_g_xp_;
    hess_supports_t supports_hess_g_pp_;
    bool supports_H_xx_;
    hess_supports_t supports_H_xp_;
    hess_supports_t supports_H_pp_;
 
    bool supports_hess_vec_prod_f_xx_;
    hess_supports_t supports_hess_vec_prod_f_xp_;
    hess_supports_t supports_hess_vec_prod_f_px_;
    hess_supports_t supports_hess_vec_prod_f_pp_;
    hess_supports_t supports_hess_vec_prod_g_xx_;
    hess_supports_t supports_hess_vec_prod_g_xp_;
    hess_supports_t supports_hess_vec_prod_g_px_;
    hess_supports_t supports_hess_vec_prod_g_pp_;
 
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    Evaluation<VectorBase<Scalar> > f_;
    g_t g_; // Ng
    RCP<LinearOpWithSolveBase<Scalar> > W_;
    RCP<LinearOpBase<Scalar> > W_op_;
    RCP<PreconditionerBase<Scalar> > W_prec_;
    DerivativeProperties W_properties_;
    deriv_t DfDp_; // Np
    deriv_properties_t DfDp_properties_; // Np
    deriv_t DgDx_dot_; // Ng
    deriv_t DgDx_; // Ng
    deriv_properties_t DgDx_dot_properties_; // Ng
    deriv_properties_t DgDx_properties_; // Ng
    deriv_t DgDp_; // Ng x Np
    deriv_properties_t DgDp_properties_; // Ng x Np
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    RCP<LinearOpBase<Scalar> > hess_f_xx_;
    hess_t hess_f_xp_;
    hess_t hess_f_pp_;
    hess_t hess_g_xx_;
    hess_t hess_g_xp_;
    hess_t hess_g_pp_;
    RCP<LinearOpBase<Scalar> > H_xx_;
    hess_t H_xp_;
    hess_t H_pp_;
 
    RCP<MultiVectorBase<Scalar> > hess_vec_prod_f_xx_;
    hess_vec_t hess_vec_prod_f_xp_; // Np
    hess_vec_t hess_vec_prod_f_px_; // Np
    hess_vec_t hess_vec_prod_f_pp_; // Np x Np
 
    hess_vec_t hess_vec_prod_g_xx_; // Ng
    hess_vec_t hess_vec_prod_g_xp_; // Ng x Np
    hess_vec_t hess_vec_prod_g_px_; // Ng x Np
    hess_vec_t hess_vec_prod_g_pp_; // Ng x Np x Np
 
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    Teuchos::Array<bool> supports_g_mp_; //Ng
    supports_t supports_DfDp_mp_; // Np_mp
    supports_t supports_DgDx_dot_mp_; // Ng_mp
    supports_t supports_DgDx_mp_; // Ng_mp
    supports_t supports_DgDp_mp_; // Ng_mp x Np_mp
    Teuchos::Array< RCP< Stokhos::ProductEpetraVector > > g_mp_;
    RCP<Stokhos::ProductEpetraVector> f_mp_;
    RCP<Stokhos::ProductEpetraOperator> W_mp_;
    Teuchos::Array<MPDerivative> DfDp_mp_;
    Teuchos::Array<MPDerivative> DgDx_dot_mp_;
    Teuchos::Array<MPDerivative> DgDx_mp_;
    Teuchos::Array<MPDerivative> DgDp_mp_;
    deriv_properties_t DfDp_mp_properties_;
    deriv_properties_t DgDx_dot_mp_properties_;
    deriv_properties_t DgDx_mp_properties_;
    deriv_properties_t DgDp_mp_properties_;
 
#ifdef HAVE_THYRA_ME_POLYNOMIAL
   RCP<Teuchos::Polynomial< VectorBase<Scalar> > > f_poly_;
#endif // HAVE_THYRA_ME_POLYNOMIAL
    mutable bool isFailed_;
 
    std::map<std::string,Teuchos::any> extended_outargs_;
 
    // functions
    void assert_supports(EOutArgsMembers arg) const;
    void assert_supports(
      EOutArgsDfDp arg, int l,
      const Derivative<Scalar> &deriv = Derivative<Scalar>()
      ) const;
    void assert_supports(
      EOutArgsDgDx_dot arg, int j,
      const Derivative<Scalar> &deriv = Derivative<Scalar>()
      ) const;
    void assert_supports(
      EOutArgsDgDx arg, int j,
      const Derivative<Scalar> &deriv = Derivative<Scalar>()
      ) const;
    void assert_supports(
      EOutArgsDgDp arg, int j, int l,
      const Derivative<Scalar> &deriv = Derivative<Scalar>()
      ) const;
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    void assert_supports(
      EOutArgs_hess_vec_prod_f_xx arg
      ) const;
    void assert_supports(
      EOutArgs_hess_vec_prod_f_xp arg, int l
      ) const;
    void assert_supports(
      EOutArgs_hess_vec_prod_f_px arg, int l
      ) const;
    void assert_supports(
      EOutArgs_hess_vec_prod_f_pp arg, int l1, int l2
      ) const;
    void assert_supports(
      EOutArgs_hess_vec_prod_g_xx arg, int j
      ) const;
    void assert_supports(
      EOutArgs_hess_vec_prod_g_xp arg, int j, int l
      ) const;
    void assert_supports(
      EOutArgs_hess_vec_prod_g_px arg, int j, int l
      ) const;
    void assert_supports(
      EOutArgs_hess_vec_prod_g_pp arg, int j, int l1, int l2
      ) const;
 
    void assert_supports(
      EOutArgs_hess_f_xx arg
      ) const;
    void assert_supports(
      EOutArgs_hess_f_xp arg, int l
      ) const;
    void assert_supports(
      EOutArgs_hess_f_pp arg, int l1, int l2
      ) const;
    void assert_supports(
      EOutArgs_hess_g_xx arg, int j
      ) const;
    void assert_supports(
      EOutArgs_hess_g_xp arg, int j, int l
      ) const;
    void assert_supports(
      EOutArgs_hess_g_pp arg, int j, int l1, int l2
      ) const;
    void assert_supports(
      EOutArgs_H_xx arg
      ) const;
    void assert_supports(
      EOutArgs_H_xp arg, int l
      ) const;
    void assert_supports(
      EOutArgs_H_pp arg, int l1, int l2
      ) const;
 
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    void assert_supports(EOutArgs_g_mp arg, int j) const;
    void assert_supports(
      EOutArgsDfDp_mp arg, int l,
      const MPDerivative &deriv = MPDerivative()
      ) const;
    void assert_supports(
      EOutArgsDgDx_dot_mp arg, int j,
      const MPDerivative &deriv = MPDerivative()
      ) const;
    void assert_supports(
      EOutArgsDgDx_mp arg, int j,
      const MPDerivative &deriv = MPDerivative()
      ) const;
    void assert_supports(
      EOutArgsDgDp_mp arg, int j, int l,
      const MPDerivative &deriv = MPDerivative()
      ) const;
 
    void assert_l(int l) const;
    void assert_j(int j) const;
  };
 
 
// Added since at least gcc 3.3.4 does not do the right thing here!
#ifdef HAVE_PROTECTED_NESTED_TEMPLATE_CLASS_ACCESS
protected:
#endif
 
 
  template<class Scalar>
  class InArgsSetup : public InArgs<Scalar> {
  public:
    InArgsSetup();
    InArgsSetup( const InArgs<Scalar>& );
    void setModelEvalDescription( const std::string &modelEvalDescription );
    void set_Np(int Np);
    void set_Np_Ng(int Np, int Ng);
    void setSupports( EInArgsMembers arg, bool supports = true );
    void setSupports( const InArgs<Scalar>& inputInArgs, const int Np = -1 );
    template<typename ObjectType>
    void setSupports(const bool supports = true);
    void setUnsupportsAndRelated( EInArgsMembers arg );
 
    void setSupports( EInArgs_p_mp arg, int l, bool supports);
  };
 
  template<class Scalar>
  class OutArgsSetup : public OutArgs<Scalar> {
  public:
    OutArgsSetup();
    OutArgsSetup( const OutArgs<Scalar>& );
    void setModelEvalDescription( const std::string &modelEvalDescription );
    void set_Np_Ng(int Np, int Ng);
    void setSupports( EOutArgsMembers arg, bool supports = true );
    void setSupports(EOutArgsDfDp arg, int l, const DerivativeSupport& );
    void setSupports(EOutArgsDgDx_dot arg, int j, const DerivativeSupport& );
    void setSupports(EOutArgsDgDx arg, int j, const DerivativeSupport& );
    void setSupports(EOutArgsDgDp arg, int j, int l, const DerivativeSupport& );
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
    void setSupports(EOutArgs_hess_vec_prod_f_xx arg, bool supports = true );
    void setSupports(EOutArgs_hess_vec_prod_f_xp arg, int l, bool supports = true );
    void setSupports(EOutArgs_hess_vec_prod_f_px arg, int l, bool supports = true );
    void setSupports(EOutArgs_hess_vec_prod_f_pp arg, int l1, int l2, bool supports = true );
    void setSupports(EOutArgs_hess_vec_prod_g_xx arg, int j, bool supports = true );
    void setSupports(EOutArgs_hess_vec_prod_g_xp arg, int j, int l, bool supports = true );
    void setSupports(EOutArgs_hess_vec_prod_g_px arg, int j, int l, bool supports = true );
    void setSupports(EOutArgs_hess_vec_prod_g_pp arg, int j, int l1, int l2, bool supports = true );
    void setSupports(EOutArgs_hess_f_xx arg, bool supports = true );
    void setSupports(EOutArgs_hess_f_xp arg, int l, bool supports = true );
    void setSupports(EOutArgs_hess_f_pp arg, int l1, int l2, bool supports = true );
    void setSupports(EOutArgs_hess_g_xx arg, int j, bool supports = true );
    void setSupports(EOutArgs_hess_g_xp arg, int j, int l, bool supports = true );
    void setSupports(EOutArgs_hess_g_pp arg, int j, int l1, int l2, bool supports = true );
    void setSupports(EOutArgs_H_xx arg, bool supports = true );
    void setSupports(EOutArgs_H_xp arg, int l, bool supports = true );
    void setSupports(EOutArgs_H_pp arg, int l1, int l2, bool supports = true );
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
 
    template<typename ObjectType>
    void setSupports(const bool supports = true);
 
    void setSupports( EOutArgs_g_mp arg, int j, bool supports);
    void setSupports(EOutArgsDfDp_mp arg, int l, const DerivativeSupport& );
    void setSupports(EOutArgsDgDx_dot_mp arg, int j, const DerivativeSupport& );
    void setSupports(EOutArgsDgDx_mp arg, int j, const DerivativeSupport& );
    void setSupports(EOutArgsDgDp_mp arg, int j, int l, const DerivativeSupport& );
 
    void set_W_properties( const DerivativeProperties &properties );
    void set_DfDp_properties( int l, const DerivativeProperties &properties );
    void set_DgDx_dot_properties( int j, const DerivativeProperties &properties );
    void set_DgDx_properties( int j, const DerivativeProperties &properties );
    void set_DgDp_properties( int j, int l, const DerivativeProperties &properties );
 
    void set_DfDp_mp_properties( int l, const DerivativeProperties &properties );
    void set_DgDx_dot_mp_properties( int j, const DerivativeProperties &properties );
    void set_DgDx_mp_properties( int j, const DerivativeProperties &properties );
    void set_DgDp_mp_properties( int j, int l, const DerivativeProperties &properties );
 
    void setSupports( const OutArgs<Scalar>& inputOutArgs );
    void setUnsupportsAndRelated( EInArgsMembers arg );
    void setUnsupportsAndRelated( EOutArgsMembers arg );
 
#ifdef Thyra_BUILD_HESSIAN_SUPPORT
    void setHessianSupports( const bool supports = true );
#endif  // ifdef Thyra_BUILD_HESSIAN_SUPPORT
   };
 
 
 
  ModelEvaluatorBase();
 
 
private:
  // Not defined and not to be called
  ModelEvaluatorBase(const ModelEvaluatorBase&);
  ModelEvaluatorBase& operator=(const ModelEvaluatorBase&);
 
}; // ModelEvaluatorBase
 
 
std::string toString(ModelEvaluatorBase::EInArgsMembers);
 
 
std::string toString(ModelEvaluatorBase::EOutArgsMembers);
 
 
std::string toString(
  ModelEvaluatorBase::EDerivativeMultiVectorOrientation orientation
  );
 
 
ModelEvaluatorBase::EDerivativeMultiVectorOrientation
getOtherDerivativeMultiVectorOrientation(
  ModelEvaluatorBase::EDerivativeMultiVectorOrientation orientation
  );
 
 
} // namespace Thyra
 
 
// //////////////////////////////////
// Inline Defintions
 
// Extended InArgs
template<class Scalar>
template<typename ObjectType>
bool Thyra::ModelEvaluatorBase::InArgs<Scalar>::supports() const
{
  std::map<std::string,Teuchos::any>::const_iterator search =
    extended_inargs_.find(typeid(ObjectType).name());
 
  if (search == extended_inargs_.end())
    return false;
 
  return true;
} 
 
template<class Scalar>
template<typename ObjectType>
void Thyra::ModelEvaluatorBase::InArgs<Scalar>::set(const Teuchos::RCP<const ObjectType>& eo)
{
  std::map<std::string,Teuchos::any>::iterator search = extended_inargs_.find(typeid(ObjectType).name());
  TEUCHOS_TEST_FOR_EXCEPTION(search == extended_inargs_.end(),
                             std::runtime_error,
                             "ERROR: InArgs::set<ObjectType>() was called with unsupported extended data type \""
                             << typeid(ObjectType).name() << "\"!");
 
  search->second = Teuchos::any(eo);
}
 
template<class Scalar>
template<typename ObjectType>
Teuchos::RCP<const ObjectType>
Thyra::ModelEvaluatorBase::InArgs<Scalar>::get() const
{
  std::map<std::string,Teuchos::any>::const_iterator search = extended_inargs_.find(typeid(ObjectType).name());
  TEUCHOS_TEST_FOR_EXCEPTION(search == extended_inargs_.end(),
                             std::runtime_error,
                             "ERROR: InArgs::get<ObjectType>() was called with unsupported extended data type \""
                             << typeid(ObjectType).name() << "\"!");
 
  return Teuchos::any_cast<Teuchos::RCP<const ObjectType> >(search->second);
}
 
template<class Scalar>
template<class ObjectType>
void Thyra::ModelEvaluatorBase::InArgsSetup<Scalar>::
setSupports(const bool in_supports)
{
  this->template _setSupports<ObjectType>(in_supports);
}
 
template<class Scalar>
template<class ObjectType>
void Thyra::ModelEvaluatorBase::InArgs<Scalar>::
_setSupports(const bool in_supports)
{
  if (in_supports)
    // When supports() is called, the map is searched to check for
    // supporting a type. If we support the type, we will insert an
    // empty placholder for now so that the search is successful for
    // support checks.
    this->extended_inargs_[typeid(ObjectType).name()] = Teuchos::any();
  else {
    // if false, remove the entry
    std::map<std::string,Teuchos::any>::iterator search =
      this->extended_inargs_.find(typeid(ObjectType).name());
 
    if (search != this->extended_inargs_.end())
      this->extended_inargs_.erase(typeid(ObjectType).name());
  }
}
 
// Extended OutArgs
template<class Scalar>
template<typename ObjectType>
bool Thyra::ModelEvaluatorBase::OutArgs<Scalar>::supports() const
{
  std::map<std::string,Teuchos::any>::const_iterator search =
    extended_outargs_.find(typeid(ObjectType).name());
 
  if (search == extended_outargs_.end())
    return false;
 
  return true;
} 
 
template<class Scalar>
template<typename ObjectType>
void Thyra::ModelEvaluatorBase::OutArgs<Scalar>::set(const Teuchos::RCP<const ObjectType>& eo)
{
  std::map<std::string,Teuchos::any>::iterator search = extended_outargs_.find(typeid(ObjectType).name());
  TEUCHOS_TEST_FOR_EXCEPTION(search == extended_outargs_.end(),
                             std::runtime_error,
                             "ERROR: OutArgs::set<ObjectType>() was called with unsupported extended data type \""
                             << typeid(ObjectType).name() << "\"!");
 
  search->second = Teuchos::any(eo);
}
 
template<class Scalar>
template<typename ObjectType>
Teuchos::RCP<const ObjectType>
Thyra::ModelEvaluatorBase::OutArgs<Scalar>::get() const
{
  std::map<std::string,Teuchos::any>::const_iterator search = extended_outargs_.find(typeid(ObjectType).name());
  TEUCHOS_TEST_FOR_EXCEPTION(search == extended_outargs_.end(),
                             std::runtime_error,
                             "ERROR: OutArgs::get<ObjectType>() was called with unsupported extended data type \""
                             << typeid(ObjectType).name() << "\"!");
 
  return Teuchos::any_cast<Teuchos::RCP<const ObjectType> >(search->second);
}
 
template<class Scalar>
template<class ObjectType>
void Thyra::ModelEvaluatorBase::OutArgsSetup<Scalar>::
setSupports(const bool in_supports)
{
  this->template _setSupports<ObjectType>(in_supports);
}
 
template<class Scalar>
template<class ObjectType>
void Thyra::ModelEvaluatorBase::OutArgs<Scalar>::
_setSupports(const bool in_supports)
{
  if (in_supports)
    // When supports() is called, the map is searched to check for
    // supporting a type. If we support the type, we will insert an
    // empty placholder for now so that the search is successful for
    // support checks.
    this->extended_outargs_[typeid(ObjectType).name()] = Teuchos::any();
  else {
    // if false, remove the entry
    std::map<std::string,Teuchos::any>::iterator search =
      this->extended_outargs_.find(typeid(ObjectType).name());
 
    if (search != this->extended_outargs_.end())
      this->extended_outargs_.erase(typeid(ObjectType).name());
  }
}
 
//
// Thyra_MEB_helper_functions_grp
//
 
 
inline
std::string Thyra::toString(ModelEvaluatorBase::EInArgsMembers arg)
{
  switch(arg) {
    case ModelEvaluatorBase::IN_ARG_x_dot_dot:
      return "IN_ARG_x_dot_dot";
    case ModelEvaluatorBase::IN_ARG_x_dot:
      return "IN_ARG_x_dot";
    case ModelEvaluatorBase::IN_ARG_x:
      return "IN_ARG_x";
    case ModelEvaluatorBase::IN_ARG_x_dot_poly:
      return "IN_ARG_x_dot_poly";
    case ModelEvaluatorBase::IN_ARG_x_poly:
      return "IN_ARG_x_poly";
    case ModelEvaluatorBase::IN_ARG_x_dot_mp:
      return "IN_ARG_x_dot_mp";
    case ModelEvaluatorBase::IN_ARG_x_mp:
      return "IN_ARG_x_mp";
    case ModelEvaluatorBase::IN_ARG_t:
      return "IN_ARG_t";
    case ModelEvaluatorBase::IN_ARG_alpha:
      return "IN_ARG_alpha";
    case ModelEvaluatorBase::IN_ARG_beta:
      return "IN_ARG_beta";
    case ModelEvaluatorBase::IN_ARG_W_x_dot_dot_coeff:
      return "IN_ARG_W_x_dot_dot_coeff";
    case ModelEvaluatorBase::IN_ARG_step_size:
      return "IN_ARG_step_size";
    case ModelEvaluatorBase::IN_ARG_stage_number:
      return "IN_ARG_stage_number";
#ifdef TEUCHOS_DEBUG
    default:
      TEUCHOS_TEST_FOR_EXCEPT(true);
#endif
  }
  return ""; // Will never be executed!
}
 
 
inline
std::string Thyra::toString(ModelEvaluatorBase::EOutArgsMembers arg)
{
  switch(arg) {
    case ModelEvaluatorBase::OUT_ARG_f:
      return "OUT_ARG_f";
    case ModelEvaluatorBase::OUT_ARG_W:
      return "OUT_ARG_W";
    case ModelEvaluatorBase::OUT_ARG_f_mp:
      return "OUT_ARG_f_mp";
    case ModelEvaluatorBase::OUT_ARG_W_mp:
      return "OUT_ARG_W_mp";
    case ModelEvaluatorBase::OUT_ARG_W_op:
      return "OUT_ARG_W_op";
    case ModelEvaluatorBase::OUT_ARG_W_prec:
      return "OUT_ARG_W_prec";
    case ModelEvaluatorBase::OUT_ARG_f_poly:
      return "OUT_ARG_f_poly";
#ifdef TEUCHOS_DEBUG
    default:
      TEUCHOS_TEST_FOR_EXCEPT(true);
#endif
  }
  return ""; // Will never be executed!
}
 
 
inline
std::string Thyra::toString(
  ModelEvaluatorBase::EDerivativeMultiVectorOrientation orientation
  )
{
  switch(orientation) {
    case ModelEvaluatorBase::DERIV_MV_BY_COL:
      return "DERIV_MV_BY_COL";
    case ModelEvaluatorBase::DERIV_TRANS_MV_BY_ROW:
      return "DERIV_TRANS_MV_BY_ROW";
#ifdef TEUCHOS_DEBUG
    default:
      TEUCHOS_TEST_FOR_EXCEPT(true);
#endif
  }
  return ""; // Should never execute this!
}
 
 
inline
Thyra::ModelEvaluatorBase::EDerivativeMultiVectorOrientation
Thyra::getOtherDerivativeMultiVectorOrientation(
  ModelEvaluatorBase::EDerivativeMultiVectorOrientation orientation
  )
{
  switch(orientation) {
    case ModelEvaluatorBase::DERIV_MV_BY_COL:
      return ModelEvaluatorBase::DERIV_TRANS_MV_BY_ROW;
    case ModelEvaluatorBase::DERIV_TRANS_MV_BY_ROW:
      return ModelEvaluatorBase::DERIV_MV_BY_COL;
#ifdef TEUCHOS_DEBUG
    default:
      TEUCHOS_TEST_FOR_EXCEPT(true);
#endif
  }
  return ModelEvaluatorBase::DERIV_MV_BY_COL; // Should never execute this!
}
 
 
#endif // THYRA_MODEL_EVALUATOR_BASE_DECL_HPP