multibody/model.hpp

//
// Copyright (c) 2015-2019 CNRS INRIA
// Copyright (c) 2015 Wandercraft, 86 rue de Paris 91400 Orsay, France.
//

#ifndef __pinocchio_model_hpp__
#define __pinocchio_model_hpp__

#include "pinocchio/spatial/fwd.hpp"
#include "pinocchio/spatial/se3.hpp"
#include "pinocchio/spatial/force.hpp"
#include "pinocchio/spatial/motion.hpp"
#include "pinocchio/spatial/inertia.hpp"

#include "pinocchio/multibody/fwd.hpp"
#include "pinocchio/multibody/frame.hpp"
#include "pinocchio/multibody/joint/joint-generic.hpp"

#include "pinocchio/container/aligned-vector.hpp"

#include "pinocchio/serialization/serializable.hpp"

#include <iostream>
#include <map>

namespace pinocchio
{
  
  template<typename _Scalar, int _Options, template<typename,int> class JointCollectionTpl>
  struct ModelTpl
  : serialization::Serializable< ModelTpl<_Scalar,_Options,JointCollectionTpl> >
  {
    EIGEN_MAKE_ALIGNED_OPERATOR_NEW
    
    typedef _Scalar Scalar;
    enum { Options = _Options };
    
    typedef JointCollectionTpl<Scalar,Options> JointCollection;
    typedef DataTpl<Scalar,Options,JointCollectionTpl> Data;

    typedef SE3Tpl<Scalar,Options> SE3;
    typedef MotionTpl<Scalar,Options> Motion;
    typedef ForceTpl<Scalar,Options> Force;
    typedef InertiaTpl<Scalar,Options> Inertia;
    typedef FrameTpl<Scalar,Options> Frame;
    
    typedef pinocchio::Index Index;
    typedef pinocchio::JointIndex JointIndex;
    typedef pinocchio::GeomIndex GeomIndex;
    typedef pinocchio::FrameIndex FrameIndex;
    typedef std::vector<Index> IndexVector;
    
    typedef JointModelTpl<Scalar,Options,JointCollectionTpl> JointModel;
    typedef JointDataTpl<Scalar,Options,JointCollectionTpl> JointData;
    
    typedef container::aligned_vector<JointModel> JointModelVector;
    typedef container::aligned_vector<JointData> JointDataVector;
    
    typedef container::aligned_vector<Frame> FrameVector;
    
    typedef Eigen::Matrix<Scalar,Eigen::Dynamic,1,Options> VectorXs;
    typedef Eigen::Matrix<Scalar,3,1,Options> Vector3;
    
    typedef VectorXs ConfigVectorType;

    typedef std::map<std::string, ConfigVectorType>  ConfigVectorMap;
    
    typedef VectorXs TangentVectorType;

    int nq;
    
    int nv;
    
    int njoints;

    int nbodies;
    
    int nframes;

    container::aligned_vector<Inertia> inertias;
    
    container::aligned_vector<SE3> jointPlacements;

    JointModelVector joints;
    
    std::vector<JointIndex> parents;

    std::vector<std::string> names;
    
    PINOCCHIO_DEPRECATED
    ConfigVectorType neutralConfiguration;

    ConfigVectorMap referenceConfigurations;

    VectorXs rotorInertia;
    
    VectorXs rotorGearRatio;
    
    TangentVectorType effortLimit;
    
    TangentVectorType velocityLimit;

    VectorXs lowerPositionLimit;
    
    VectorXs upperPositionLimit;

    FrameVector frames;
    
    std::vector<IndexVector> subtrees;

    Motion gravity;
    
    static const Vector3 gravity981;

    std::string name;

    ModelTpl()
    : nq(0)
    , nv(0)
    , njoints(1)
    , nbodies(1)
    , nframes(0)
    , inertias(1, Inertia::Zero())
    , jointPlacements(1, SE3::Identity())
    , joints(1)
    , parents(1, 0)
    , names(1)
    , subtrees(1)
    , gravity(gravity981,Vector3::Zero())
    {
      names[0]     = "universe";     // Should be "universe joint (trivial)"
      // FIXME Should the universe joint be a FIXED_JOINT even if it is
      // in the list of joints ? See comment in definition of
      // Model::addJointFrame and Model::addBodyFrame
      addFrame(Frame("universe", 0, 0, SE3::Identity(), FIXED_JOINT));
    }
    ~ModelTpl() {} // std::cout << "Destroy model" << std::endl; }
    
    template<typename NewScalar>
    ModelTpl<NewScalar,Options,JointCollectionTpl> cast() const
    {
      typedef ModelTpl<NewScalar,Options,JointCollectionTpl> ReturnType;
      ReturnType res;
      res.nq = nq; res.nv = nv;
      res.njoints = njoints;
      res.nbodies = nbodies;
      res.nframes = nframes;
      res.parents = parents;
      res.names = names;
      res.subtrees = subtrees;
      res.gravity = gravity.template cast<NewScalar>();
      res.name = name;
      
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
      res.neutralConfiguration = neutralConfiguration.template cast<NewScalar>();
#pragma GCC diagnostic pop
      res.rotorInertia = rotorInertia.template cast<NewScalar>();
      res.rotorGearRatio = rotorGearRatio.template cast<NewScalar>();
      res.effortLimit = effortLimit.template cast<NewScalar>();
      res.velocityLimit = velocityLimit.template cast<NewScalar>();
      res.lowerPositionLimit = lowerPositionLimit.template cast<NewScalar>();
      res.upperPositionLimit = upperPositionLimit.template cast<NewScalar>();

      typename ReturnType::ConfigVectorMap::iterator rit = res.referenceConfigurations.begin();
      typename ConfigVectorMap::const_iterator it;
      for (it = referenceConfigurations.begin();
           it != referenceConfigurations.end(); it++ )
      {
        rit->second = it->second.template cast<NewScalar>();
        rit++;
      }
        

      res.inertias.resize(inertias.size());
      res.jointPlacements.resize(jointPlacements.size());
      res.joints.resize(joints.size());
      res.frames.resize(frames.size());

      for(size_t k = 0; k < joints.size(); ++k)
      {
        res.inertias[k] = inertias[k].template cast<NewScalar>();
        res.jointPlacements[k] = jointPlacements[k].template cast<NewScalar>();
        res.joints[k] = joints[k].template cast<NewScalar>();
      }
      
      for(size_t k = 0; k < frames.size(); ++k)
      {
        res.frames[k] = frames[k].template cast<NewScalar>();
      }
      
      return res;
    }
    
    bool operator==(const ModelTpl & other) const
    {
      bool res =
         other.nq == nq
      && other.nv == nv
      && other.njoints == njoints
      && other.nbodies == nbodies
      && other.nframes == nframes
      && other.parents == parents
      && other.names == names
      && other.subtrees == subtrees
      && other.gravity == gravity
      && other.name == name;

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
      if(other.neutralConfiguration.size() != neutralConfiguration.size())
        return false;
      res &= other.neutralConfiguration == neutralConfiguration;
      if(!res) return res;
#pragma GCC diagnostic pop
      
      if(other.referenceConfigurations.size() != referenceConfigurations.size())
        return false;
      res &= other.referenceConfigurations == referenceConfigurations;
      if(!res) return res;
      
      if(other.rotorInertia.size() != rotorInertia.size())
        return false;
      res &= other.rotorInertia == rotorInertia;
      if(!res) return res;
      
      if(other.rotorGearRatio.size() != rotorGearRatio.size())
        return false;
      res &= other.rotorGearRatio == rotorGearRatio;
      if(!res) return res;
      
      if(other.effortLimit.size() != effortLimit.size())
        return false;
      res &= other.effortLimit == effortLimit;
      if(!res) return res;
      
      if(other.velocityLimit.size() != velocityLimit.size())
        return false;
      res &= other.velocityLimit == velocityLimit;
      if(!res) return res;
      
      if(other.lowerPositionLimit.size() != lowerPositionLimit.size())
        return false;
      res &= other.lowerPositionLimit == lowerPositionLimit;
      if(!res) return res;
      
      if(other.upperPositionLimit.size() != upperPositionLimit.size())
        return false;
      res &= other.upperPositionLimit == upperPositionLimit;
      if(!res) return res;

      for(size_t k = 1; k < inertias.size(); ++k)
      {
        res &= other.inertias[k] == inertias[k];
        if(!res) return res;
      }

      for(size_t k = 1; k < other.jointPlacements.size(); ++k)
      {
        res &= other.jointPlacements[k] == jointPlacements[k];
        if(!res) return res;
      }

      res &=
         other.joints == joints
      && other.frames == frames;
      
      return res;
    }
    
    //
    bool operator!=(const ModelTpl & other) const
    { return !(*this == other); }
    
    template<typename JointModelDerived>
    JointIndex addJoint(const JointIndex parent,
                        const JointModelBase<JointModelDerived> & joint_model,
                        const SE3 & joint_placement,
                        const std::string & joint_name,
                        const VectorXs & max_effort,
                        const VectorXs & max_velocity,
                        const VectorXs & min_config,
                        const VectorXs & max_config
                        );

    template<typename JointModelDerived>
    JointIndex addJoint(const JointIndex parent,
                        const JointModelBase<JointModelDerived> & joint_model,
                        const SE3 & joint_placement,
                        const std::string & joint_name
                        );

    int addJointFrame(const JointIndex& jointIndex,
                      int frameIndex = -1);

    void appendBodyToJoint(const JointIndex joint_index, const Inertia & Y,
                           const SE3 & body_placement = SE3::Identity());

    int addBodyFrame (const std::string & body_name,
                      const JointIndex  & parentJoint,
                      const SE3         & body_placement = SE3::Identity(),
                            int           previousFrame  = -1);

    JointIndex getBodyId(const std::string & name) const;
    
    bool existBodyName(const std::string & name) const;
    
    
    JointIndex getJointId(const std::string & name) const;
    
    bool existJointName(const std::string & name) const;
    
    PINOCCHIO_DEPRECATED const std::string & getJointName(const JointIndex index) const;

    FrameIndex getFrameId(const std::string & name,
                          const FrameType & type = (FrameType) (JOINT | FIXED_JOINT | BODY | OP_FRAME | SENSOR )) const;
    
    bool existFrame(const std::string & name,
                    const FrameType& type = (FrameType) (JOINT | FIXED_JOINT | BODY | OP_FRAME | SENSOR )) const;
    
    
    int addFrame(const Frame & frame);

    template<typename D>
    inline bool check(const AlgorithmCheckerBase<D> & checker = AlgorithmCheckerBase<D>()) const
    { return checker.checkModel(*this); }

    inline bool check() const;
    
    inline bool check(const Data & data) const;

  protected:
    
    void addJointIndexToParentSubtrees(const JointIndex joint_id);
  };

} // namespace pinocchio

/* --- Details -------------------------------------------------------------- */
/* --- Details -------------------------------------------------------------- */
/* --- Details -------------------------------------------------------------- */
#include "pinocchio/multibody/model.hxx"

#endif // ifndef __pinocchio_model_hpp__