check-model.hpp

//
// Copyright (c) 2025 INRIA
//

#pragma once

// IWYU pragma: begin_keep
#include <boost/fusion/container/list.hpp>
#include <boost/fusion/container/generation/make_list.hpp>
#include <boost/fusion/algorithm/iteration/accumulate.hpp>

#include "pinocchio/multibody.hpp"
#include "pinocchio/algorithm/check-base.hpp"
// IWYU pragma: end_keep

namespace pinocchio
{

#define PINOCCHIO_DEFINE_ALGO_CHECKER(NAME) \
 struct NAME##Checker : public AlgorithmCheckerBase<NAME##Checker> \
 { \
 template<typename Scalar, int Options, template<typename, int> class JointCollectionTpl> \
 bool checkModel_impl(const ModelTpl<Scalar, Options, JointCollectionTpl> &) const; \
 }

 PINOCCHIO_DEFINE_ALGO_CHECKER(Parent);
 PINOCCHIO_DEFINE_ALGO_CHECKER(Mimic);

 template<class... D>
 struct AlgorithmCheckerList : AlgorithmCheckerBase<AlgorithmCheckerList<D...>>
 {
 typedef typename boost::fusion::list<D...> ArgType;

 AlgorithmCheckerList(const ArgType & checkerList)
 : checkerList(checkerList)
 {
 }

 // Calls model.check for each checker in the fusion::list.
 // Each list element is supposed to implement the AlgorithmCheckerBase API.
 template<typename Scalar, int Options, template<typename, int> class JointCollectionTpl>
 bool checkModel_impl(const ModelTpl<Scalar, Options, JointCollectionTpl> & model) const;

 const ArgType & checkerList;
 };

 template<class... T>
 AlgorithmCheckerList<T...> makeAlgoCheckerList(const T &... args)
 {
 return AlgorithmCheckerList<T...>(boost::fusion::make_list(args...));
 }

} // namespace pinocchio

/* --- Details -------------------------------------------------------------------- */

// IWYU pragma: begin_exports
#include "pinocchio/src/algorithm/check-model.hxx"
// IWYU pragma: end_exports