sequence.h

Go to the documentation of this file.

// Author(s): Wieger Wesselink
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_UTILITIES_SEQUENCE_H
#define MCRL2_UTILITIES_SEQUENCE_H
 
#include <iterator>
#include <vector>
 
namespace mcrl2
{
 
namespace utilities
{
 
namespace detail
{
 
struct foreach_sequence_assign
{
  template <typename T1, typename T2>
  void operator()(T1& t1, const T2& t2) const
  {
    t1 = t2;
  }
};
 
template <typename Iter1, typename Iter2, typename SequenceFunction, typename Assign>
void foreach_sequence_impl(Iter1 first, Iter1 last, Iter2 i, SequenceFunction f, Assign assign)
{
  if (first == last)
  {
    f();
  }
  else
  {
    for (auto j = first->begin(); j != first->end(); ++j)
    {
      assign(*i, *j);
      foreach_sequence_impl(std::next(first), last, std::next(i), f, assign);
    }
  }
}
 
} // namespace detail
 
template <typename SequenceContainer,
         typename OutIter,
         typename SequenceFunction,
         typename Assign>
void foreach_sequence(const SequenceContainer& X, OutIter i, SequenceFunction f, Assign assign)
{
  detail::foreach_sequence_impl(X.begin(),
                                X.end(),
                                i,
                                f,
                                assign
                               );
}
 
template <typename SequenceContainer,
         typename OutIter,
         typename SequenceFunction>
void foreach_sequence(const SequenceContainer& X, OutIter i, SequenceFunction f)
{
  foreach_sequence(X, i, f, detail::foreach_sequence_assign());
}
 
} // namespace utilities
 
} // namespace mcrl2
 
#endif // MCRL2_UTILITIES_SEQUENCE_H