graphChangesGenerator4K2_tpl.h

Go to the documentation of this file.

#ifndef DOXYGEN_SHOULD_SKIP_THIS

namespace gum {

  namespace learning {

    template < typename STRUCT_CONSTRAINT >
    GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::GraphChangesGenerator4K2(
       STRUCT_CONSTRAINT& constraint) :
        _constraint(&constraint) {
      GUM_CONSTRUCTOR(GraphChangesGenerator4K2);
    }

    template < typename STRUCT_CONSTRAINT >
    GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::GraphChangesGenerator4K2(
       const GraphChangesGenerator4K2& from) :
        _graph(from._graph),
        _constraint(from._constraint), _order(from._order),
        _legal_changes(from._legal_changes),
        __max_threads_number(from.__max_threads_number) {
      GUM_CONS_CPY(GraphChangesGenerator4K2);
    }

    template < typename STRUCT_CONSTRAINT >
    GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::GraphChangesGenerator4K2(
       GraphChangesGenerator4K2&& from) :
        _graph(std::move(from._graph)),
        _constraint(from._constraint), _order(std::move(from._order)),
        _legal_changes(std::move(from._legal_changes)),
        __max_threads_number(from.__max_threads_number) {
      GUM_CONS_MOV(GraphChangesGenerator4K2);
    }

    template < typename STRUCT_CONSTRAINT >
    GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::~GraphChangesGenerator4K2() {
      GUM_DESTRUCTOR(GraphChangesGenerator4K2);
    }

    template < typename STRUCT_CONSTRAINT >
    GraphChangesGenerator4K2< STRUCT_CONSTRAINT >&
          GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::
          operator=(const GraphChangesGenerator4K2< STRUCT_CONSTRAINT >& from) {
      if (this != &from) {
        _graph = from._graph;
        _constraint = from._constraint;
        _order = from._order;
        _legal_changes = from._legal_changes;
        __max_threads_number = from.__max_threads_number;
      }
      return *this;
    }

    template < typename STRUCT_CONSTRAINT >
    GraphChangesGenerator4K2< STRUCT_CONSTRAINT >&
          GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::
          operator=(GraphChangesGenerator4K2< STRUCT_CONSTRAINT >&& from) {
      if (this != &from) {
        _graph = std::move(from._graph);
        _constraint = std::move(from._constraint);
        _order = std::move(from._order);
        _legal_changes = std::move(from._legal_changes);
        __max_threads_number = from.__max_threads_number;
      }
      return *this;
    }

    template < typename STRUCT_CONSTRAINT >
    void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::_createChanges() {
      _legal_changes.clear();

      // for all the pairs of nodes, consider adding, reverse and removing arcs
      std::vector< Set< GraphChange > > legal_changes;
#  pragma omp parallel num_threads(int(__max_threads_number))
      {
        int num_threads = getNumberOfRunningThreads();

#  pragma omp single
        {
          // resize the change vectors so that each thread can write to its
          // own vector
          legal_changes.resize(num_threads);
        }

        const Size this_thread = getThreadNumber();

        for (Idx i = 0, j = 0; j < _order.size(); i = (i + 1) % num_threads, ++j) {
          if (i == this_thread) {
            for (Idx k = j + 1; k < _order.size(); ++k) {
              // try arc additions
              ArcAddition arc_add(_order[j], _order[k]);
              if (!_constraint->isAlwaysInvalid(arc_add)) {
                legal_changes[this_thread].insert(std::move(arc_add));
              }
            }
          }
        }
      }

      // now store the changes into the protected vectors of the
      // GraphChangesGenerator4K2
      for (const auto& changes : legal_changes) {
        for (const auto& change : changes) {
          _legal_changes.insert(std::move(change));
        }
      }
    }

    template < typename STRUCT_CONSTRAINT >
    void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::setGraph(
       const DiGraph& graph) {
      // sets the current graph
      _graph = graph;

      // check that all the nodes of the graph belong to the sequence.
      // If some are missing, add them in increasing order into the sequence.
      // If some element of _order do not belong to the graph, remove them
      for (auto node = _order.beginSafe(); node != _order.endSafe(); ++node) {
        if (!graph.exists(*node)) { _order.erase(node); }
      }
      for (const auto node : graph) {
        if (!_order.exists(node)) { _order.insert(node); }
      }

      // generate the set of all changes
      _createChanges();
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::setOrder(
       const Sequence< NodeId >& order) {
      _order = order;
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::setOrder(
       const std::vector< NodeId >& order) {
      _order.clear();
      for (const auto node : order) {
        _order.insert(node);
      }
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE void
       GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::clearChanges() noexcept {
      _legal_changes.clear();
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE typename GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::iterator
       GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::begin() const {
      return _legal_changes.cbegin();
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE const typename GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::iterator&
       GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::end() const {
      return _legal_changes.cend();
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::modifyGraph(
       const ArcAddition& change) {}

    template < typename STRUCT_CONSTRAINT >
    INLINE void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::modifyGraph(
       const ArcDeletion& change) {}

    template < typename STRUCT_CONSTRAINT >
    INLINE void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::modifyGraph(
       const ArcReversal& change) {}

    template < typename STRUCT_CONSTRAINT >
    INLINE void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::modifyGraph(
       const GraphChange& change) {}

    template < typename STRUCT_CONSTRAINT >
    INLINE void
       GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::notifyGetCompleted() {
      if (_legal_changes.size()) _legal_changes.clear();
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE void GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::setMaxNbThreads(
       Size nb) noexcept {
#  if defined(_OPENMP) && !defined(GUM_DEBUG_MODE)
      if (nb == 0) nb = getMaxNumberOfThreads();
      __max_threads_number = nb;
#  else
      __max_threads_number = 1;
#  endif /* _OPENMP && GUM_DEBUG_MODE */
    }

    template < typename STRUCT_CONSTRAINT >
    INLINE STRUCT_CONSTRAINT&
           GraphChangesGenerator4K2< STRUCT_CONSTRAINT >::constraint() const noexcept {
      return *_constraint;
    }

  } /* namespace learning */

} /* namespace gum */

#endif /* DOXYGEN_SHOULD_SKIP_THIS */