xref: /dflybsd-src/contrib/gcc-4.7/libstdc++-v3/include/parallel/checkers.h (revision 04febcfb30580676d3e95f58a16c5137ee478b32)
1*e4b17023SJohn Marino // -*- C++ -*-
2*e4b17023SJohn Marino 
3*e4b17023SJohn Marino // Copyright (C) 2007, 2008, 2009 Free Software Foundation, Inc.
4*e4b17023SJohn Marino //
5*e4b17023SJohn Marino // This file is part of the GNU ISO C++ Library.  This library is free
6*e4b17023SJohn Marino // software; you can redistribute it and/or modify it under the terms
7*e4b17023SJohn Marino // of the GNU General Public License as published by the Free Software
8*e4b17023SJohn Marino // Foundation; either version 3, or (at your option) any later
9*e4b17023SJohn Marino // version.
10*e4b17023SJohn Marino 
11*e4b17023SJohn Marino // This library is distributed in the hope that it will be useful, but
12*e4b17023SJohn Marino // WITHOUT ANY WARRANTY; without even the implied warranty of
13*e4b17023SJohn Marino // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14*e4b17023SJohn Marino // General Public License for more details.
15*e4b17023SJohn Marino 
16*e4b17023SJohn Marino // Under Section 7 of GPL version 3, you are granted additional
17*e4b17023SJohn Marino // permissions described in the GCC Runtime Library Exception, version
18*e4b17023SJohn Marino // 3.1, as published by the Free Software Foundation.
19*e4b17023SJohn Marino 
20*e4b17023SJohn Marino // You should have received a copy of the GNU General Public License and
21*e4b17023SJohn Marino // a copy of the GCC Runtime Library Exception along with this program;
22*e4b17023SJohn Marino // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23*e4b17023SJohn Marino // <http://www.gnu.org/licenses/>.
24*e4b17023SJohn Marino 
25*e4b17023SJohn Marino /** @file parallel/checkers.h
26*e4b17023SJohn Marino  *  @brief Routines for checking the correctness of algorithm results.
27*e4b17023SJohn Marino  *  This file is a GNU parallel extension to the Standard C++ Library.
28*e4b17023SJohn Marino  */
29*e4b17023SJohn Marino 
30*e4b17023SJohn Marino // Written by Johannes Singler.
31*e4b17023SJohn Marino 
32*e4b17023SJohn Marino #ifndef _GLIBCXX_PARALLEL_CHECKERS_H
33*e4b17023SJohn Marino #define _GLIBCXX_PARALLEL_CHECKERS_H 1
34*e4b17023SJohn Marino 
35*e4b17023SJohn Marino #include <cstdio>
36*e4b17023SJohn Marino #include <bits/stl_algobase.h>
37*e4b17023SJohn Marino #include <bits/stl_function.h>
38*e4b17023SJohn Marino 
39*e4b17023SJohn Marino namespace __gnu_parallel
40*e4b17023SJohn Marino {
41*e4b17023SJohn Marino   /**
42*e4b17023SJohn Marino    * @brief Check whether @c [__begin, @c __end) is sorted according
43*e4b17023SJohn Marino    * to @c __comp.
44*e4b17023SJohn Marino    * @param __begin Begin iterator of sequence.
45*e4b17023SJohn Marino    * @param __end End iterator of sequence.
46*e4b17023SJohn Marino    * @param __comp Comparator.
47*e4b17023SJohn Marino    * @return @c true if sorted, @c false otherwise.
48*e4b17023SJohn Marino    */
49*e4b17023SJohn Marino   template<typename _IIter, typename _Compare>
50*e4b17023SJohn Marino     bool
__is_sorted(_IIter __begin,_IIter __end,_Compare __comp)51*e4b17023SJohn Marino     __is_sorted(_IIter __begin, _IIter __end, _Compare __comp)
52*e4b17023SJohn Marino     {
53*e4b17023SJohn Marino       if (__begin == __end)
54*e4b17023SJohn Marino         return true;
55*e4b17023SJohn Marino 
56*e4b17023SJohn Marino       _IIter __current(__begin), __recent(__begin);
57*e4b17023SJohn Marino 
58*e4b17023SJohn Marino       unsigned long long __position = 1;
59*e4b17023SJohn Marino       for (__current++; __current != __end; __current++)
60*e4b17023SJohn Marino         {
61*e4b17023SJohn Marino           if (__comp(*__current, *__recent))
62*e4b17023SJohn Marino             {
63*e4b17023SJohn Marino               return false;
64*e4b17023SJohn Marino             }
65*e4b17023SJohn Marino           __recent = __current;
66*e4b17023SJohn Marino           __position++;
67*e4b17023SJohn Marino         }
68*e4b17023SJohn Marino 
69*e4b17023SJohn Marino       return true;
70*e4b17023SJohn Marino     }
71*e4b17023SJohn Marino }
72*e4b17023SJohn Marino 
73*e4b17023SJohn Marino #endif /* _GLIBCXX_PARALLEL_CHECKERS_H */
74