constraint.hpp

// BSD 3-Clause License
//
// Copyright (C) 2020-2025, University of Edinburgh, Heriot-Watt University
// Copyright note valid unless otherwise stated in individual files.
// All rights reserved.
 
#ifndef CROCODDYL_CORE_NUMDIFF_CONSTRAINT_HPP_
#define CROCODDYL_CORE_NUMDIFF_CONSTRAINT_HPP_
 
#include <boost/function.hpp>
 
#include "crocoddyl/core/constraint-base.hpp"
 
namespace crocoddyl {
 
template <typename _Scalar>
class ConstraintModelNumDiffTpl : public ConstraintModelAbstractTpl<_Scalar> {
 public:
  EIGEN_MAKE_ALIGNED_OPERATOR_NEW
  CROCODDYL_DERIVED_CAST(ConstraintModelBase, ConstraintModelNumDiffTpl)
 
  typedef _Scalar Scalar;
  typedef ConstraintDataAbstractTpl<Scalar> ConstraintDataAbstract;
  typedef ConstraintModelAbstractTpl<Scalar> Base;
  typedef ConstraintDataNumDiffTpl<Scalar> Data;
  typedef DataCollectorAbstractTpl<Scalar> DataCollectorAbstract;
  typedef MathBaseTpl<Scalar> MathBase;
  typedef typename MathBaseTpl<Scalar>::VectorXs VectorXs;
  typedef boost::function<void(const VectorXs&, const VectorXs&)>
      ReevaluationFunction;
 
  explicit ConstraintModelNumDiffTpl(const std::shared_ptr<Base>& model);
 
  virtual ~ConstraintModelNumDiffTpl() = default;
 
  virtual void calc(const std::shared_ptr<ConstraintDataAbstract>& data,
                    const Eigen::Ref<const VectorXs>& x,
                    const Eigen::Ref<const VectorXs>& u) override;
 
  virtual void calc(const std::shared_ptr<ConstraintDataAbstract>& data,
                    const Eigen::Ref<const VectorXs>& x) override;
 
  virtual void calcDiff(const std::shared_ptr<ConstraintDataAbstract>& data,
                        const Eigen::Ref<const VectorXs>& x,
                        const Eigen::Ref<const VectorXs>& u) override;
 
  virtual void calcDiff(const std::shared_ptr<ConstraintDataAbstract>& data,
                        const Eigen::Ref<const VectorXs>& x) override;
 
  virtual std::shared_ptr<ConstraintDataAbstract> createData(
      DataCollectorAbstract* const data) override;
 
  template <typename NewScalar>
  ConstraintModelNumDiffTpl<NewScalar> cast() const;
 
  const std::shared_ptr<Base>& get_model() const;
 
  const Scalar get_disturbance() const;
 
  void set_disturbance(const Scalar disturbance);
 
  void set_reevals(const std::vector<ReevaluationFunction>& reevals);
 
 protected:
  using Base::nu_;
  using Base::state_;
  using Base::unone_;
 
 private:
  void assertStableStateFD(const Eigen::Ref<const VectorXs>& /*x*/);
 
  std::shared_ptr<Base> model_;  
  Scalar e_jac_;  
  std::vector<ReevaluationFunction>
      reevals_;  
};
 
template <typename _Scalar>
struct ConstraintDataNumDiffTpl : public ConstraintDataAbstractTpl<_Scalar> {
  EIGEN_MAKE_ALIGNED_OPERATOR_NEW
 
  typedef _Scalar Scalar;
  typedef MathBaseTpl<Scalar> MathBase;
  typedef ConstraintDataAbstractTpl<Scalar> Base;
  typedef DataCollectorAbstractTpl<Scalar> DataCollectorAbstract;
  typedef ActivationDataAbstractTpl<Scalar> ActivationDataAbstract;
  typedef typename MathBaseTpl<Scalar>::VectorXs VectorXs;
 
  template <template <typename Scalar> class Model>
  explicit ConstraintDataNumDiffTpl(Model<Scalar>* const model,
                                    DataCollectorAbstract* const shared_data)
      : Base(model, shared_data),
        dx(model->get_state()->get_ndx()),
        xp(model->get_state()->get_nx()),
        du(model->get_nu()),
        up(model->get_nu()) {
    dx.setZero();
    xp.setZero();
    du.setZero();
    up.setZero();
 
    const std::size_t& ndx = model->get_model()->get_state()->get_ndx();
    const std::size_t& nu = model->get_model()->get_nu();
    data_0 = model->get_model()->createData(shared_data);
    for (std::size_t i = 0; i < ndx; ++i) {
      data_x.push_back(model->get_model()->createData(shared_data));
    }
    for (std::size_t i = 0; i < nu; ++i) {
      data_u.push_back(model->get_model()->createData(shared_data));
    }
  }
 
  virtual ~ConstraintDataNumDiffTpl() {}
 
  using Base::Gu;
  using Base::Gx;
  using Base::Hu;
  using Base::Hx;
  using Base::shared;
 
  Scalar x_norm;  
  Scalar
      xh_jac;  
  Scalar
      uh_jac;  
  VectorXs dx;  
  VectorXs xp;  
  VectorXs du;  
  VectorXs up;  
  std::shared_ptr<Base> data_0;  
  std::vector<std::shared_ptr<Base> >
      data_x;  
  std::vector<std::shared_ptr<Base> >
      data_u;  
};
 
}  // namespace crocoddyl
 
/* --- Details -------------------------------------------------------------- */
/* --- Details -------------------------------------------------------------- */
/* --- Details -------------------------------------------------------------- */
#include "crocoddyl/core/numdiff/constraint.hxx"
 
#endif  // CROCODDYL_CORE_NUMDIFF_CONSTRAINT_HPP_