symbolic-function.hh

Go to the documentation of this file.

// Copyright (c) 2015, LAAS-CNRS
// Authors: Joseph Mirabel (joseph.mirabel@laas.fr)
//
 
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
// 1. Redistributions of source code must retain the above copyright
//    notice, this list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
// DAMAGE.
 
#ifndef HPP_CONSTRAINTS_SYMBOLIC_FUNCTION_HH
#define HPP_CONSTRAINTS_SYMBOLIC_FUNCTION_HH
 
#include <hpp/constraints/config.hh>
#include <hpp/constraints/differentiable-function.hh>
#include <hpp/constraints/fwd.hh>
#include <hpp/constraints/symbolic-calculus.hh>
#include <hpp/pinocchio/device.hh>
#include <hpp/pinocchio/liegroup-element.hh>
 
namespace hpp {
namespace constraints {
 
template <typename Expression>
class HPP_CONSTRAINTS_DLLAPI SymbolicFunction : public DifferentiableFunction {
 public:
  typedef shared_ptr<SymbolicFunction> Ptr_t;
  typedef weak_ptr<SymbolicFunction> WkPtr_t;
 
  EIGEN_MAKE_ALIGNED_OPERATOR_NEW
 
  static Ptr_t create(const std::string& name, const DevicePtr_t& robot,
                      const typename Traits<Expression>::Ptr_t expr) {
    std::vector<bool> mask(expr->value().size(), true);
    return create(name, robot, expr, mask);
  }
 
  static Ptr_t create(const std::string& name, const DevicePtr_t& robot,
                      const typename Traits<Expression>::Ptr_t expr,
                      std::vector<bool> mask) {
    assert(mask.size() == (std::size_t)expr->value().size());
    Ptr_t ptr(new SymbolicFunction(name, robot, expr, mask));
    ptr->init(ptr);
    return ptr;
  }
 
  static Ptr_t create(const std::string& name, size_type sizeInput,
                      size_type sizeInputDerivative, size_type sizeOutput,
                      const typename Traits<Expression>::Ptr_t expr) {
    std::vector<bool> mask(sizeOutput, true);
    Ptr_t ptr(new SymbolicFunction(name, sizeInput, sizeInputDerivative,
                                   sizeOutput, expr, mask));
    ptr->init(ptr);
    return ptr;
  }
 
  virtual ~SymbolicFunction() {}
 
  SymbolicFunction(const std::string& name, const DevicePtr_t& robot,
                   const typename Traits<Expression>::Ptr_t expr,
                   std::vector<bool> mask)
      : DifferentiableFunction(robot->configSize(), robot->numberDof(),
                               LiegroupSpace::Rn(expr->value().size()), name),
        robot_(robot),
        expr_(expr),
        mask_(mask) {
    size_type d = robot_->extraConfigSpace().dimension();
    activeParameters_.tail(d).setConstant(false);
    activeDerivativeParameters_.tail(d).setConstant(false);
  }
 
  SymbolicFunction(const std::string& name, size_type sizeInput,
                   size_type sizeInputDerivative, size_type sizeOutput,
                   const typename Traits<Expression>::Ptr_t expr,
                   std::vector<bool> mask)
      : DifferentiableFunction(sizeInput, sizeInputDerivative,
                               LiegroupSpace::Rn(sizeOutput), name),
        robot_(),
        expr_(expr),
        mask_(mask) {}
 
 protected:
  virtual void impl_compute(LiegroupElementRef result,
                            ConfigurationIn_t argument) const {
    if (robot_) {
      robot_->currentConfiguration(argument);
      robot_->computeForwardKinematics(pinocchio::JOINT_POSITION);
    }
    expr_->invalidate();
    expr_->computeValue(argument);
    size_t index = 0;
    for (std::size_t i = 0; i < mask_.size(); i++) {
      if (mask_[i]) result.vector()[index++] = expr_->value()[i];
    }
  }
 
  virtual void impl_jacobian(matrixOut_t jacobian,
                             ConfigurationIn_t arg) const {
    if (robot_) {
      robot_->currentConfiguration(arg);
      robot_->computeForwardKinematics(pinocchio::JOINT_POSITION |
                                       pinocchio::JACOBIAN);
    }
    expr_->invalidate();
    expr_->computeJacobian(arg);
    size_t index = 0;
 
    const typename Expression::JacobianType_t& Je(expr_->jacobian());
    size_type nv;
    if (robot_) {
      size_type d = robot_->extraConfigSpace().dimension();
      nv = Je.cols();
      assert(robot_->numberDof() == Je.cols() + d);
      jacobian.rightCols(d).setZero();
    } else {
      nv = jacobian.cols();
    }
 
    for (std::size_t i = 0; i < mask_.size(); i++) {
      if (mask_[i]) jacobian.row(index++).head(nv) = Je.row(i);
    }
  }
 
  void init(const Ptr_t& self) { wkPtr_ = self; }
 
  bool isEqual(const DifferentiableFunction& other) const {
    const SymbolicFunction& castother =
        dynamic_cast<const SymbolicFunction&>(other);
    if (!DifferentiableFunction::isEqual(other)) return false;
 
    if (robot_ != castother.robot_) return false;
    if (expr_ != castother.expr_) return false;
    if (mask_ != castother.mask_) return false;
 
    return true;
  }
 
 private:
  WkPtr_t wkPtr_;
  DevicePtr_t robot_;
  typename Traits<Expression>::Ptr_t expr_;
  std::vector<bool> mask_;
};  // class SymbolicFunction
}  // namespace constraints
}  // namespace hpp
#endif  // HPP_CONSTRAINTS_SYMBOLIC_FUNCTION_HH