O3ClassFactory.h

Go to the documentation of this file.

/****************************************************************************
 *   This file is part of the aGrUM/pyAgrum library.                        *
 *                                                                          *
 *   Copyright (c) 2005-2025 by                                             *
 *       - Pierre-Henri WUILLEMIN(_at_LIP6)                                 *
 *       - Christophe GONZALES(_at_AMU)                                     *
 *                                                                          *
 *   The aGrUM/pyAgrum library is free software; you can redistribute it    *
 *   and/or modify it under the terms of either :                           *
 *                                                                          *
 *    - the GNU Lesser General Public License as published by               *
 *      the Free Software Foundation, either version 3 of the License,      *
 *      or (at your option) any later version,                              *
 *    - the MIT license (MIT),                                              *
 *    - or both in dual license, as here.                                   *
 *                                                                          *
 *   (see https://agrum.gitlab.io/articles/dual-licenses-lgplv3mit.html)    *
 *                                                                          *
 *   This aGrUM/pyAgrum library is distributed in the hope that it will be  *
 *   useful, but WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,          *
 *   INCLUDING BUT NOT LIMITED TO THE WARRANTIES MERCHANTABILITY or FITNESS *
 *   FOR A PARTICULAR PURPOSE  AND NONINFRINGEMENT. IN NO EVENT SHALL THE   *
 *   AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
 *   LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,        *
 *   ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR  *
 *   OTHER DEALINGS IN THE SOFTWARE.                                        *
 *                                                                          *
 *   See LICENCES for more details.                                         *
 *                                                                          *
 *   SPDX-FileCopyrightText: Copyright 2005-2025                            *
 *       - Pierre-Henri WUILLEMIN(_at_LIP6)                                 *
 *       - Christophe GONZALES(_at_AMU)                                     *
 *   SPDX-License-Identifier: LGPL-3.0-or-later OR MIT                      *
 *                                                                          *
 *   Contact  : info_at_agrum_dot_org                                       *
 *   homepage : http://agrum.gitlab.io                                      *
 *   gitlab   : https://gitlab.com/agrumery/agrum                           *
 *                                                                          *
 ****************************************************************************/
 

 
#include <algorithm>
#include <memory>
#include <string>
 
#include <agrum/PRM/o3prm/O3NameSolver.h>
#include <agrum/PRM/PRMFactory.h>
 
#ifndef GUM_PRM_O3PRM_O3CLASS_FACTORY_H
#  define GUM_PRM_O3PRM_O3CLASS_FACTORY_H
 
namespace gum {
  namespace prm {
    namespace o3prm {

      template < typename GUM_SCALAR >
      class O3ClassFactory {
        public:
        O3ClassFactory(PRM< GUM_SCALAR >&          prm,
                       O3PRM&                      o3_prm,
                       O3NameSolver< GUM_SCALAR >& solver,
                       ErrorsContainer&            errors);
        O3ClassFactory(const O3ClassFactory< GUM_SCALAR >& src);
        O3ClassFactory(O3ClassFactory< GUM_SCALAR >&& src);
        ~O3ClassFactory();
        O3ClassFactory< GUM_SCALAR >& operator=(const O3ClassFactory< GUM_SCALAR >& src);
        O3ClassFactory< GUM_SCALAR >& operator=(O3ClassFactory< GUM_SCALAR >&& src);
 
        void buildClasses();
 
        void buildImplementations();
 
        void buildParameters();
 
        void buildReferenceSlots();
 
        void declareAggregates();
 
        void completeAggregates();
 
        void declareAttributes();
 
        void completeAttributes();
 
 
        private:
        PRM< GUM_SCALAR >*          _prm_;
        O3PRM*                      _o3_prm_;
        O3NameSolver< GUM_SCALAR >* _solver_;
        ErrorsContainer*            _errors_;
 
        HashTable< std::string, gum::NodeId > _nameMap_;
        HashTable< std::string, O3Class* >    _classMap_;
        HashTable< NodeId, O3Class* >         _nodeMap_;
        DAG                                   _dag_;
        std::vector< O3Class* >               _o3Classes_;

        void _setO3ClassCreationOrder_();
 
        bool _checkAndAddNodesToDag_();
 
        bool _checkAndAddArcsToDag_();
 
        bool _checkO3Classes_();

        bool _checkImplementation_(O3Class& c);
 
        bool _checkImplementation_(O3Class&                                    c,
                                   O3Label&                                    i,
                                   HashTable< std::string, O3Attribute* >&     attrMap,
                                   HashTable< std::string, O3Aggregate* >&     aggMap,
                                   HashTable< std::string, O3ReferenceSlot* >& refMap);
 
        bool _checkImplementation_(O3Label& o3_type, const PRMType& type);
 
        bool _checkImplementation_(O3Label&                                      o3_type,
                                   const PRMClassElementContainer< GUM_SCALAR >& type);

        void _addParameters_(PRMFactory< GUM_SCALAR >& factory, O3Class& c);


        void _addReferenceSlots_(O3Class& c);
 
 
        bool _checkReferenceSlot_(O3Class& c, O3ReferenceSlot& ref);

        void _declareAttribute_(O3Class& c);
 
        bool _checkAttributeForDeclaration_(O3Class& o3_c, O3Attribute& attr);
 
        void _completeAttribute_(PRMFactory< GUM_SCALAR >& factory, O3Class& c);
 
        bool _checkAttributeForCompletion_(const O3Class& o3_c, O3Attribute& attr);
 
        bool _checkParent_(const PRMClass< GUM_SCALAR >& c, const O3Label& prnt);
 
        bool _checkLocalParent_(const PRMClass< GUM_SCALAR >& c, const O3Label& prnt);
 
        bool _checkRemoteParent_(const PRMClassElementContainer< GUM_SCALAR >& c,
                                 const O3Label&                                prnt);
 
        bool _checkRawCPT_(const PRMClass< GUM_SCALAR >& c, O3RawCPT& attr);
 
        bool _checkRuleCPT_(const PRMClass< GUM_SCALAR >& c, O3RuleCPT& attr);
 
        bool _checkLabelsNumber_(const O3RuleCPT& attr, const O3RuleCPT::O3Rule& rule);
 
        bool _checkLabelsValues_(const PRMClass< GUM_SCALAR >& c,
                                 const O3RuleCPT&              attr,
                                 const O3RuleCPT::O3Rule&      rule);
 
        void _addParamsToForms_(
            const HashTable< std::string, const PRMParameter< GUM_SCALAR >* >& scope,
            O3RuleCPT::O3Rule&                                                 rule);
 
        bool _checkRuleCPTSumsTo1_(const PRMClass< GUM_SCALAR >& c,
                                   const O3RuleCPT&              attr,
                                   const O3RuleCPT::O3Rule&      rule);


        const PRMClassElement< GUM_SCALAR >*
            _resolveSlotChain_(const PRMClassElementContainer< GUM_SCALAR >& c,
                               const O3Label&                                chain);
 
        bool _checkSlotChainLink_(const PRMClassElementContainer< GUM_SCALAR >& c,
                                  const O3Label&                                chain,
                                  const std::string&                            s);

        void _declareAggregates_(O3Class& c);
        void _completeAggregates_(PRMFactory< GUM_SCALAR >& factory, O3Class& c);
 
        bool _checkAggregateForDeclaration_(O3Class& o3class, O3Aggregate& agg);
        bool _checkAggregateForCompletion_(O3Class& o3class, O3Aggregate& agg);
 
        const PRMType* _checkAggParents_(O3Class& o3class, O3Aggregate& agg);
 
        bool _checkAggTypeLegality_(O3Class& o3class, O3Aggregate& agg);
 
 
        bool _checkAggParameters_(O3Class& o3class, O3Aggregate& agg, const PRMType* t);
 
        bool _checkParametersNumber_(O3Aggregate& agg, Size n);
 
        bool _checkParameterValue_(O3Aggregate& agg, const gum::prm::PRMType& t);
 
        // @}
      };
 
    }   // namespace o3prm
  }   // namespace prm
}   // namespace gum
 
// always include the implementation of the templates
#  include <agrum/PRM/o3prm/O3ClassFactory_tpl.h>
 
 
#  ifndef GUM_NO_EXTERN_TEMPLATE_CLASS
extern template class gum::prm::o3prm::O3ClassFactory< double >;
#  endif
 
 
#endif   // GUM_PRM_O3PRM_O3CLASS_FACTORY_H