graphChange.h

Go to the documentation of this file.

/****************************************************************************
 *   This file is part of the aGrUM/pyAgrum library.                        *
 *                                                                          *
 *   Copyright (c) 2005-2026 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-2026                            *
 *       - 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                           *
 *                                                                          *
 ****************************************************************************/
 

#ifndef GUM_LEARNING_GRAPH_CHANGE_H
#define GUM_LEARNING_GRAPH_CHANGE_H
 
#include <cstdint>
#include <cstring>
#include <iostream>
#include <string>
 
#include <agrum/agrum.h>
 
#include <agrum/base/graphs/parts/nodeGraphPart.h>
 
namespace gum {
 
  namespace learning {

    // it is important that the size of this type be a multiple of 32 bits.
    // This is exploited to both reduce the memory consumption and speed-up
    // copying the fields of GraphChange
    using LearnNodeId = uint32_t;

    enum class GraphChangeType : LearnNodeId {
      ARC_ADDITION,
      ARC_DELETION,
      ARC_REVERSAL,
      ARC_TRIANGLE_DELETION1,
      ARC_TRIANGLE_DELETION2,
      EDGE_ADDITION,
      EDGE_DELETION
    };
 
    // forward the declarations of the Graph changes classes. This will be
    // useful for specifying HashFunc friendships in Class GraphChange
    class ArcAddition;
    class ArcDeletion;
    class ArcReversal;
    class ArcTriangleDeletion1;
    class ArcTriangleDeletion2;
    class EdgeAddition;
    class EdgeDeletion;
 
    /* ========================================================================= */
    /* ===                        GRAPH CHANGE CLASS                         === */
    /* ========================================================================= */
    class GraphChange {
      // ##########################################################################
      // ##########################################################################
 
      protected:
      GraphChange(GraphChangeType type, NodeId node1, NodeId node2, NodeId node3 = 0) noexcept;
 
      public:
      GraphChange(const GraphChange& from) noexcept;

      GraphChange(GraphChange&& from) noexcept;

      ~GraphChange() noexcept;

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

      GraphChange& operator=(const GraphChange& from) noexcept;

      GraphChange& operator=(GraphChange&& from) noexcept;

      bool operator==(const GraphChange& from) const noexcept;

      bool operator!=(const GraphChange& from) const noexcept;

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

      GraphChangeType type() const noexcept;

      std::string typeAsString() const;

      NodeId node1() const noexcept;

      NodeId node2() const noexcept;


      NodeId node3() const;

      // This method has not been declared as virtual in order to reduce the
      // memory consumption. The drawback is that it is slower than what we
      // would get with a virtual method. But this method should essentially
      // be used for debugging purposes, hence this is not really an issue.
      std::string toString() const;

 
      protected:
      LearnNodeId nodes_[3];

      // @warning this field must follow _nodes_. This fact is exploited to
      // speed up copying Class GraphChange fields: as LearnNodeId is 32-bit
      // long, _type is aligned as 32 bits, hence, it directly follows _nodes
      // without any padding. Overall, _nodes + _type should be 16-byte long.
      GraphChangeType type_;
 
 
      // friendships allow accessing _nodes. This will speed up computations
      // when sizeof(Size) == 2 * sizeof(LearnNodeId)
      friend class HashFunc< GraphChange >;
      friend class HashFunc< ArcAddition >;
      friend class HashFunc< ArcDeletion >;
      friend class HashFunc< ArcReversal >;
      friend class HashFunc< ArcTriangleDeletion1 >;
      friend class HashFunc< ArcTriangleDeletion2 >;
      friend class HashFunc< EdgeAddition >;
      friend class HashFunc< EdgeDeletion >;
    };
 
    /* ========================================================================= */
    /* ===                        ARC ADDITION CLASS                         === */
    /* ========================================================================= */
    class ArcAddition: public GraphChange {
      public:
      // ##########################################################################
      // ##########################################################################

      ArcAddition(NodeId node1, NodeId node2) noexcept;

      ArcAddition(const ArcAddition& from) noexcept;

      ArcAddition(ArcAddition&& from) noexcept;

      ~ArcAddition() noexcept;

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

      ArcAddition& operator=(const ArcAddition& from) noexcept;

      ArcAddition& operator=(ArcAddition&& from) noexcept;

      bool operator==(const ArcAddition& from) const noexcept;

      bool operator!=(const ArcAddition& from) const noexcept;

    };
 
    /* =========================================================================*/
    /* ===                        ARC DELETION CLASS                         ===*/
    /* =========================================================================*/
    class ArcDeletion: public GraphChange {
      public:
      // ##########################################################################
      // ##########################################################################

      ArcDeletion(NodeId node1, NodeId node2) noexcept;

      ArcDeletion(const ArcDeletion& from) noexcept;

      ArcDeletion(ArcDeletion&& from) noexcept;

      ~ArcDeletion() noexcept;

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

      ArcDeletion& operator=(const ArcDeletion& from) noexcept;

      ArcDeletion& operator=(ArcDeletion&& from) noexcept;

      bool operator==(const ArcDeletion& from) const noexcept;

      bool operator!=(const ArcDeletion& from) const noexcept;

    };
 
    /* ========================================================================= */
    /* ===                        ARC REVERSAL CLASS                         === */
    /* ========================================================================= */
    class ArcReversal: public GraphChange {
      public:
      // ##########################################################################
      // ##########################################################################

      ArcReversal(NodeId node1, NodeId node2) noexcept;

      ArcReversal(const ArcReversal& from) noexcept;

      ArcReversal(ArcReversal&& from) noexcept;

      ~ArcReversal() noexcept;

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

      ArcReversal& operator=(const ArcReversal& from) noexcept;

      ArcReversal& operator=(ArcReversal&& from) noexcept;

      bool operator==(const ArcReversal& from) const noexcept;

      bool operator!=(const ArcReversal& from) const noexcept;

    };
 
    /* ========================================================================= */
    /* ===                 ARC TRIANGLE DELETION 1ST CLASS                   === */
    /* ========================================================================= */
    class ArcTriangleDeletion1: public GraphChange {
      public:
      // ##########################################################################
      // ##########################################################################


      ArcTriangleDeletion1(NodeId node1, NodeId node2, NodeId node3) noexcept;

      ArcTriangleDeletion1(const ArcTriangleDeletion1& from) noexcept;

      ArcTriangleDeletion1(ArcTriangleDeletion1&& from) noexcept;

      ~ArcTriangleDeletion1() noexcept;

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

      ArcTriangleDeletion1& operator=(const ArcTriangleDeletion1& from) noexcept;

      ArcTriangleDeletion1& operator=(ArcTriangleDeletion1&& from) noexcept;


      bool operator==(const ArcTriangleDeletion1& from) const noexcept;


      bool operator!=(const ArcTriangleDeletion1& from) const noexcept;

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


      NodeId node3() const;

    };
 
    /* ========================================================================= */
    /* ===                 ARC TRIANGLE DELETION 2ND CLASS                   === */
    /* ========================================================================= */
    class ArcTriangleDeletion2: public GraphChange {
      public:
      // ##########################################################################
      // ##########################################################################


      ArcTriangleDeletion2(NodeId node1, NodeId node2, NodeId node3) noexcept;

      ArcTriangleDeletion2(const ArcTriangleDeletion2& from) noexcept;

      ArcTriangleDeletion2(ArcTriangleDeletion2&& from) noexcept;

      ~ArcTriangleDeletion2() noexcept;

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

      ArcTriangleDeletion2& operator=(const ArcTriangleDeletion2& from) noexcept;

      ArcTriangleDeletion2& operator=(ArcTriangleDeletion2&& from) noexcept;


      bool operator==(const ArcTriangleDeletion2& from) const noexcept;


      bool operator!=(const ArcTriangleDeletion2& from) const noexcept;

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


      NodeId node3() const;

    };
 
    /* =========================================================================*/
    /* ===                        EDGE ADDITION CLASS                        ===*/
    /* =========================================================================*/
    class EdgeAddition: public GraphChange {
      public:
      // ##########################################################################
      // ##########################################################################

      EdgeAddition(NodeId node1, NodeId node2) noexcept;

      EdgeAddition(const EdgeAddition& from) noexcept;

      EdgeAddition(EdgeAddition&& from) noexcept;

      ~EdgeAddition() noexcept;

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

      EdgeAddition& operator=(const EdgeAddition& from) noexcept;

      EdgeAddition& operator=(EdgeAddition&& from) noexcept;

      bool operator==(const EdgeAddition& from) const noexcept;

      bool operator!=(const EdgeAddition& from) const noexcept;

    };
 
    /* ========================================================================= */
    /* ===                        EDGE DELETION CLASS                        === */
    /* ========================================================================= */
    class EdgeDeletion: public GraphChange {
      public:
      // ##########################################################################
      // ##########################################################################

      EdgeDeletion(NodeId node1, NodeId node2) noexcept;

      EdgeDeletion(const EdgeDeletion& from) noexcept;

      EdgeDeletion(EdgeDeletion&& from) noexcept;

      ~EdgeDeletion() noexcept;

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

      EdgeDeletion& operator=(const EdgeDeletion& from) noexcept;

      EdgeDeletion& operator=(EdgeDeletion&& from) noexcept;

      bool operator==(const EdgeDeletion& from) const noexcept;

      bool operator!=(const EdgeDeletion& from) const noexcept;

    };

    std::ostream& operator<<(std::ostream& stream, const GraphChange& change);
 
  } /* namespace learning */

  template <>
  class HashFunc< learning::GraphChange >: public HashFuncBase< learning::GraphChange > {
    public:
    static Size castToSize(const learning::GraphChange& key);

    Size operator()(const learning::GraphChange& key) const final;
  };

  template <>
  class HashFunc< learning::ArcAddition >: public HashFuncBase< learning::ArcAddition > {
    public:
    static Size castToSize(const learning::ArcAddition& key);

    Size operator()(const learning::ArcAddition& key) const final;
  };

  template <>
  class HashFunc< learning::ArcDeletion >: public HashFuncBase< learning::ArcDeletion > {
    public:
    static Size castToSize(const learning::ArcDeletion& key);

    Size operator()(const learning::ArcDeletion& key) const final;
  };

  template <>
  class HashFunc< learning::ArcReversal >: public HashFuncBase< learning::ArcReversal > {
    public:
    static Size castToSize(const learning::ArcReversal& key);

    Size operator()(const learning::ArcReversal& key) const final;
  };

  template <>
  class HashFunc< learning::ArcTriangleDeletion1 >:
      public HashFuncBase< learning::ArcTriangleDeletion1 > {
    public:
    static Size castToSize(const learning::ArcTriangleDeletion1& key);

    Size operator()(const learning::ArcTriangleDeletion1& key) const final;
  };

  template <>
  class HashFunc< learning::ArcTriangleDeletion2 >:
      public HashFuncBase< learning::ArcTriangleDeletion2 > {
    public:
    static Size castToSize(const learning::ArcTriangleDeletion2& key);

    Size operator()(const learning::ArcTriangleDeletion2& key) const final;
  };

  template <>
  class HashFunc< learning::EdgeAddition >: public HashFuncBase< learning::EdgeAddition > {
    static Size castToSize(const learning::EdgeAddition& key);

    Size operator()(const learning::EdgeAddition& key) const final;
  };

  template <>
  class HashFunc< learning::EdgeDeletion >: public HashFuncBase< learning::EdgeDeletion > {
    public:
    static Size castToSize(const learning::EdgeDeletion& key);

    Size operator()(const learning::EdgeDeletion& key) const final;
  };
 
} /* namespace gum */
 
#ifndef GUM_NO_INLINE
#  include <agrum/BN/learning/structureUtils/graphChange_inl.h>
#endif   // GUM_NOINLINE
 
#endif   /* GUM_LEARNING_GRAPH_CHANGE_H */