text: /*=============================================================================
      Copyright (c) 2001-2011 Hartmut Kaiser
      Copyright (c) 2001-2011 Joel de Guzman
  
      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)
  ==============================================================================*/
  #if !defined(BOOST_SPIRIT_ANY_IF_NS_NOVEMBER_04_2008_0906PM)
  #define BOOST_SPIRIT_ANY_IF_NS_NOVEMBER_04_2008_0906PM
  
  #if defined(_MSC_VER)
  #pragma once
  #endif
  
  #include <boost/spirit/home/support/algorithm/any_if.hpp>
  #include <boost/spirit/home/support/algorithm/any_ns.hpp>
  
  namespace boost { namespace spirit
  {
      ///////////////////////////////////////////////////////////////////////////
      //  This is a special version for a binary fusion::any. The predicate
      //  is used to decide whether to advance the second iterator or not.
      //  This is needed for sequences containing components with unused
      //  attributes. The second iterator is advanced only if the attribute
      //  of the corresponding component iterator is not unused.
      //
      //  This is a non-short circuiting (ns) version of the any_if algorithm.
      //  see any_if.hpp (uses | instead of ||).
      ///////////////////////////////////////////////////////////////////////////
      namespace detail
      {
          template <
              typename Pred, typename First1, typename Last1, typename First2
            , typename Last2, typename F
          >
          inline bool
          any_if_ns(First1 const&, First2 const&, Last1 const&, Last2 const&
            , F const&, mpl::true_)
          {
              return false;
          }
  
          template <
              typename Pred, typename First1, typename Last1, typename First2
            , typename Last2, typename F
          >
          inline bool
          any_if_ns(First1 const& first1, First2 const& first2
            , Last1 const& last1, Last2 const& last2, F& f, mpl::false_)
          {
              return (0 != (f(*first1, attribute_value<Pred, First1, Last2>(first2)) |
                  detail::any_if_ns<Pred>(
                      fusion::next(first1)
                    , attribute_next<Pred, First1, Last2>(first2)
                    , last1, last2
                    , f
                    , fusion::result_of::equal_to<
                          typename fusion::result_of::next<First1>::type, Last1>())));
          }
      }
  
      template <typename Pred, typename Sequence1, typename Sequence2, typename F>
      inline bool
      any_if_ns(Sequence1 const& seq1, Sequence2& seq2, F f, Pred)
      {
          return detail::any_if_ns<Pred>(
                  fusion::begin(seq1), fusion::begin(seq2)
                , fusion::end(seq1), fusion::end(seq2)
                , f
                , fusion::result_of::equal_to<
                      typename fusion::result_of::begin<Sequence1>::type
                    , typename fusion::result_of::end<Sequence1>::type>());
      }
  
      template <typename Pred, typename Sequence, typename F>
      inline bool
      any_if_ns(Sequence const& seq, unused_type const, F f, Pred)
      {
          return detail::any_ns(
                  fusion::begin(seq)
                , fusion::end(seq)
                , f
                , fusion::result_of::equal_to<
                      typename fusion::result_of::begin<Sequence>::type
                    , typename fusion::result_of::end<Sequence>::type>());
      }
  
  }}
  
  #endif
  
  