structuralConstraintSetStatic.h

Go to the documentation of this file.

/***************************************************************************
 *   Copyright (C) 2005 by Christophe GONZALES and Pierre-Henri WUILLEMIN  *
 *   {prenom.nom}_at_lip6.fr                                               *
 *                                                                         *
 *   This program is free software; you can redistribute it and/or modify  *
 *   it under the terms of the GNU General Public License as published by  *
 *   the Free Software Foundation; either version 2 of the License, or     *
 *   (at your option) any later version.                                   *
 *                                                                         *
 *   This program is distributed in the hope that it will be useful,       *
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *
 *   GNU General Public License for more details.                          *
 *                                                                         *
 *   You should have received a copy of the GNU General Public License     *
 *   along with this program; if not, write to the                         *
 *   Free Software Foundation, Inc.,                                       *
 *   59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.             *
 ***************************************************************************/
#ifndef GUM_LEARNING_STRUCTURAL_CONSTRAINT_SET_STATIC_H
#define GUM_LEARNING_STRUCTURAL_CONSTRAINT_SET_STATIC_H

#include <type_traits>

#include <agrum/agrum.h>
#include <agrum/graphs/diGraph.h>
#include <agrum/learning/structureUtils/graphChange.h>

namespace gum {

  namespace learning {

#ifndef DOXYGEN_SHOULD_SKIP_THIS

    // a class that indicates the we inherit from a
    // StructuralConstraintSetStatic
    struct __StructuralRoot {};

    // a temporary structure used to help computing the minimal set of
    // constraints
    template < typename FIRST_CONSTRAINT, typename... OTHER_CONSTRAINTS >
    struct __ConstraintSet;

    // a structure to concatenate __ConstraintSets or simply constraints and
    // produce as a result a new __ConstraintSet
    template < typename SET1, typename SET2 >
    struct __ConcatConstraintSet;

    // a helper function to create minimum structural constraint sets and the
    // methods actually used on all these constraints. This is a helper for
    // the class that the user should use, i.e., StructuralConstraintSetStatic
    template < typename FIRST_CONSTRAINT, typename... OTHER_CONSTRAINTS >
    class __StructuralConstraintSetStatic;

    // ============================================================================
    // checks whether a given structural constraint belongs to a given set of
    // structural constraints
    template < typename CONSTRAINT, typename SET >
    struct __IsInConstraintSet;

    template < typename CONSTRAINT, typename SET >
    struct __IsInConstraintSet< CONSTRAINT, __ConstraintSet< SET > > {
      constexpr static bool value = std::is_same< CONSTRAINT, SET >::value;
    };

    template < typename CONSTRAINT, typename SET1, typename... SETS >
    struct __IsInConstraintSet< CONSTRAINT, __ConstraintSet< SET1, SETS... > > {
      constexpr static bool value =
         std::is_same< CONSTRAINT, SET1 >::value
         || __IsInConstraintSet< CONSTRAINT, __ConstraintSet< SETS... > >::value;
    };

    // ============================================================================
    // a temporary structure used to help computing the minimal set of
    // constraints
    // (removing all duplicates) belonging to a given set of structural
    // constraints. For instance, if we have the following structural hierarchy:
    // Z->Y->X, T->Y->X and we have the set of constraints S =  <Z,T>, the set
    // of
    // all structural constraints reachable from S is S' = <Z,Y,X,T,Y,X>. The
    // goal
    // of the following class is to transform S' into S'' = <Z,T,Y,X>, i.e., the
    // set S' without any duplicates.
    template < typename FIRST_CONSTRAINT, typename... OTHER_CONSTRAINTS >
    struct __ConstraintSet : public __ConstraintSet< OTHER_CONSTRAINTS... > {
      using minset = typename std::conditional<
         __IsInConstraintSet< FIRST_CONSTRAINT,
                              __ConstraintSet< OTHER_CONSTRAINTS... > >::value,
         typename __ConstraintSet< OTHER_CONSTRAINTS... >::minset,
         typename __ConcatConstraintSet<
            FIRST_CONSTRAINT,
            typename __ConstraintSet< OTHER_CONSTRAINTS... >::minset >::type >::
         type;
      using set =
         __StructuralConstraintSetStatic< FIRST_CONSTRAINT, OTHER_CONSTRAINTS... >;
    };

    template < typename CONSTRAINT >
    struct __ConstraintSet< CONSTRAINT > {
      using minset = __ConstraintSet< CONSTRAINT >;
      using set = __StructuralConstraintSetStatic< CONSTRAINT >;
    };

    // ============================================================================
    // a structure to concatenate __ConstraintSets or simply constraints and
    // produce as a result a new __ConstraintSet
    template < typename SET1, typename SET2 >
    struct __ConcatConstraintSet;

    template < typename CONSTRAINT1, typename CONSTRAINT2 >
    struct __ConcatConstraintSet< CONSTRAINT1, __ConstraintSet< CONSTRAINT2 > > {
      using type = __ConstraintSet< CONSTRAINT1, CONSTRAINT2 >;
    };

    template < typename CONSTRAINT1, typename CONSTRAINT2 >
    struct __ConcatConstraintSet< __ConstraintSet< CONSTRAINT1 >,
                                  __ConstraintSet< CONSTRAINT2 > > {
      using type = __ConstraintSet< CONSTRAINT1, CONSTRAINT2 >;
    };

    template < typename CONSTRAINT1,
               typename CONSTRAINT2,
               typename... OTHER_CONSTRAINT2 >
    struct __ConcatConstraintSet<
       CONSTRAINT1,
       __ConstraintSet< CONSTRAINT2, OTHER_CONSTRAINT2... > > {
      using type =
         __ConstraintSet< CONSTRAINT1, CONSTRAINT2, OTHER_CONSTRAINT2... >;
    };

    template < typename CONSTRAINT1,
               typename CONSTRAINT2,
               typename... OTHER_CONSTRAINT1 >
    struct __ConcatConstraintSet<
       __ConstraintSet< CONSTRAINT1, OTHER_CONSTRAINT1... >,
       __ConstraintSet< CONSTRAINT2 > > {
      using type =
         __ConstraintSet< CONSTRAINT1, OTHER_CONSTRAINT1..., CONSTRAINT2 >;
    };

    template < typename CONSTRAINT1,
               typename CONSTRAINT2,
               typename... OTHER_CONSTR1,
               typename... OTHER_CONSTR2 >
    struct __ConcatConstraintSet<
       __ConstraintSet< CONSTRAINT1, OTHER_CONSTR1... >,
       __ConstraintSet< CONSTRAINT2, OTHER_CONSTR2... > > {
      using type = __ConstraintSet< CONSTRAINT1,
                                    OTHER_CONSTR1...,
                                    CONSTRAINT2,
                                    OTHER_CONSTR2... >;
    };

    // ============================================================================
    // a helper function to create minimum structural constraint sets and the
    // methods actually used on all these constraints. This is a helper for
    // the class that the user should use, i.e., StructuralConstraintSetStatic
    template < typename CONSTRAINT1, typename... OTHER_CONSTRAINTS >
    class __StructuralConstraintSetStatic
        : public virtual CONSTRAINT1
        , public virtual __StructuralConstraintSetStatic< OTHER_CONSTRAINTS... > {
      public:
      using first_constraint = CONSTRAINT1;

      using next_constraints =
         __StructuralConstraintSetStatic< OTHER_CONSTRAINTS... >;

      // determines the set of all constraints in the set (included inherited
      // ones)
      using allConstraints = typename __ConcatConstraintSet<
         typename std::conditional<
            std::is_base_of< __StructuralRoot, CONSTRAINT1 >::value,
            typename __ConcatConstraintSet<
               CONSTRAINT1,
               typename CONSTRAINT1::allConstraints >::type,
            __ConstraintSet< CONSTRAINT1 > >::type,
         typename next_constraints::allConstraints >::type;

      using minConstraints = typename allConstraints::minset::set;

      // ##########################################################################
      // ##########################################################################

      __StructuralConstraintSetStatic();

      __StructuralConstraintSetStatic(
         const __StructuralConstraintSetStatic< CONSTRAINT1,
                                                OTHER_CONSTRAINTS... >&);

      ~__StructuralConstraintSetStatic();


      // ##########################################################################
      // ##########################################################################

      __StructuralConstraintSetStatic< CONSTRAINT1, OTHER_CONSTRAINTS... >&
         operator=(const __StructuralConstraintSetStatic< CONSTRAINT1,
                                                          OTHER_CONSTRAINTS... >&);


      // ##########################################################################
      // ##########################################################################

      void setGraph(const DiGraph& graph);

      void modifyGraph(const ArcAddition& change);

      void modifyGraph(const ArcDeletion& change);

      void modifyGraph(const ArcReversal& change);

      void modifyGraph(const GraphChange& change);

      bool isAlwaysInvalid(const GraphChange& change) const;

      bool checkArcAddition(NodeId x, NodeId y) const;

      bool checkArcDeletion(NodeId x, NodeId y) const;

      bool checkArcReversal(NodeId x, NodeId y) const;

      bool checkModification(const ArcAddition& change) const;

      bool checkModification(const ArcDeletion& change) const;

      bool checkModification(const ArcReversal& change) const;

      bool checkModification(const GraphChange& change) const;

    };

    template < typename CONSTRAINT >
    class __StructuralConstraintSetStatic< CONSTRAINT >
        : public virtual CONSTRAINT
        , public virtual __StructuralRoot {
      public:
      using first_constraint = CONSTRAINT;

      using next_constraints = __StructuralRoot;

      // determines the set of all constraints in the set (included inherited
      // ones)
      using allConstraints = typename std::conditional<
         std::is_base_of< __StructuralRoot, CONSTRAINT >::value,
         typename __ConcatConstraintSet<
            CONSTRAINT,
            typename CONSTRAINT::allConstraints >::type,
         __ConstraintSet< CONSTRAINT > >::type;

      using minConstraints = typename allConstraints::minset::set;

      // ##########################################################################
      // ##########################################################################

      __StructuralConstraintSetStatic();

      __StructuralConstraintSetStatic(
         const __StructuralConstraintSetStatic< CONSTRAINT >&);

      ~__StructuralConstraintSetStatic();


      // ##########################################################################
      // ##########################################################################

      __StructuralConstraintSetStatic< CONSTRAINT >&
         operator=(const __StructuralConstraintSetStatic< CONSTRAINT >&);


      // ##########################################################################
      // ##########################################################################

      void setGraph(const DiGraph& graph);

      void modifyGraph(const ArcAddition& change);

      void modifyGraph(const ArcDeletion& change);

      void modifyGraph(const ArcReversal& change);

      void modifyGraph(const GraphChange& change);

      bool isAlwaysInvalid(const GraphChange& change) const;

      bool checkArcAddition(NodeId x, NodeId y) const;

      bool checkArcDeletion(NodeId x, NodeId y) const;

      bool checkArcReversal(NodeId x, NodeId y) const;

      bool checkModification(const ArcAddition& change) const;

      bool checkModification(const ArcDeletion& change) const;

      bool checkModification(const ArcReversal& change) const;

      bool checkModification(const GraphChange& change) const;

    };

#endif /* DOXYGEN_SHOULD_SKIP_THIS */

    template < typename CONSTRAINT1, typename... OTHER_CONSTRAINTS >
    class StructuralConstraintSetStatic
        : public virtual __StructuralConstraintSetStatic<
             CONSTRAINT1,
             OTHER_CONSTRAINTS... >::minConstraints {
      public:
      using constraints = typename __StructuralConstraintSetStatic<
         CONSTRAINT1,
         OTHER_CONSTRAINTS... >::minConstraints;

      // ##########################################################################
      // ##########################################################################

      StructuralConstraintSetStatic();

      StructuralConstraintSetStatic(
         const StructuralConstraintSetStatic< CONSTRAINT1,
                                              OTHER_CONSTRAINTS... >&);

      ~StructuralConstraintSetStatic();


      // ##########################################################################
      // ##########################################################################

      StructuralConstraintSetStatic< CONSTRAINT1, OTHER_CONSTRAINTS... >&
         operator=(const StructuralConstraintSetStatic< CONSTRAINT1,
                                                        OTHER_CONSTRAINTS... >&);


      // ##########################################################################
      // ##########################################################################

      void setGraph(const DiGraph& graph);

      void modifyGraph(const ArcAddition& change);

      void modifyGraph(const ArcDeletion& change);

      void modifyGraph(const ArcReversal& change);

      void modifyGraph(const GraphChange& change);

      bool isAlwaysInvalid(const GraphChange& change) const;

      bool checkArcAddition(NodeId x, NodeId y) const;

      bool checkArcDeletion(NodeId x, NodeId y) const;

      bool checkArcReversal(NodeId x, NodeId y) const;

      bool checkModification(const ArcAddition& change) const;

      bool checkModification(const ArcDeletion& change) const;

      bool checkModification(const ArcReversal& change) const;

      bool checkModification(const GraphChange& change) const;

    };

#ifndef DOXYGEN_SHOULD_SKIP_THIS

    template < typename CONSTRAINT >
    class StructuralConstraintSetStatic< CONSTRAINT >
        : public virtual __StructuralConstraintSetStatic<
             CONSTRAINT >::minConstraints {
      public:
      using constraints =
         typename __StructuralConstraintSetStatic< CONSTRAINT >::minConstraints;

      // ##########################################################################
      // ##########################################################################

      StructuralConstraintSetStatic();

      StructuralConstraintSetStatic(
         const StructuralConstraintSetStatic< CONSTRAINT >&);

      ~StructuralConstraintSetStatic();


      // ##########################################################################
      // ##########################################################################

      StructuralConstraintSetStatic< CONSTRAINT >&
         operator=(const StructuralConstraintSetStatic< CONSTRAINT >&);


      // ##########################################################################
      // ##########################################################################

      void setGraph(const DiGraph& graph);

      void modifyGraph(const ArcAddition& change);

      void modifyGraph(const ArcDeletion& change);

      void modifyGraph(const ArcReversal& change);

      void modifyGraph(const GraphChange& change);

      bool isAlwaysInvalid(const GraphChange& change) const;

      bool checkArcAddition(NodeId x, NodeId y) const;

      bool checkArcDeletion(NodeId x, NodeId y) const;

      bool checkArcReversal(NodeId x, NodeId y) const;

      bool checkModification(const ArcAddition& change) const;

      bool checkModification(const ArcDeletion& change) const;

      bool checkModification(const ArcReversal& change) const;

      bool checkModification(const GraphChange& change) const;

    };

#endif /* DOXYGEN_SHOULD_SKIP_THIS */

  } /* namespace learning */

} /* namespace gum */

#include <agrum/learning/constraints/structuralConstraintSetStatic_tpl.h>

#endif /* GUM_LEARNING_STRUCTURAL_CONSTRAINT_SET_STATIC_H */