Search.h

Go to the documentation of this file.

//     ____   ______ __
//    / __ \ / ____// /
//   / /_/ // /    / /
//  / ____// /___ / /___   PixInsight Class Library
// /_/     \____//_____/   PCL 2.7.0
// ----------------------------------------------------------------------------
// pcl/Search.h - Released 2024-06-18T15:48:54Z
// ----------------------------------------------------------------------------
// This file is part of the PixInsight Class Library (PCL).
// PCL is a multiplatform C++ framework for development of PixInsight modules.
//
// Copyright (c) 2003-2024 Pleiades Astrophoto S.L. All Rights Reserved.
//
// Redistribution and use in both source and binary forms, with or without
// modification, is permitted provided that the following conditions are met:
//
// 1. All redistributions of source code must retain the above copyright
//    notice, this list of conditions and the following disclaimer.
//
// 2. All redistributions in binary form must reproduce the above copyright
//    notice, this list of conditions and the following disclaimer in the
//    documentation and/or other materials provided with the distribution.
//
// 3. Neither the names "PixInsight" and "Pleiades Astrophoto", nor the names
//    of their contributors, may be used to endorse or promote products derived
//    from this software without specific prior written permission. For written
//    permission, please contact info@pixinsight.com.
//
// 4. All products derived from this software, in any form whatsoever, must
//    reproduce the following acknowledgment in the end-user documentation
//    and/or other materials provided with the product:
//
//    "This product is based on software from the PixInsight project, developed
//    by Pleiades Astrophoto and its contributors (https://pixinsight.com/)."
//
//    Alternatively, if that is where third-party acknowledgments normally
//    appear, this acknowledgment must be reproduced in the product itself.
//
// THIS SOFTWARE IS PROVIDED BY PLEIADES ASTROPHOTO AND ITS CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
// TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL PLEIADES ASTROPHOTO OR ITS
// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
// EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, BUSINESS
// INTERRUPTION; PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; AND LOSS OF USE,
// DATA OR PROFITS) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
// ----------------------------------------------------------------------------
 
#ifndef __PCL_Search_h
#define __PCL_Search_h
 
 
#include <pcl/Defs.h>
 
#include <pcl/Iterator.h>
 
namespace pcl
{
 
// ----------------------------------------------------------------------------
 
// ----------------------------------------------------------------------------
 
template <class FI, class T> inline
FI LinearSearch( FI i, FI j, const T& v ) noexcept
{
   for( ; i != j; ++i )
      if ( *i == v )
         break;
   return i;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T, class BP> inline
FI LinearSearch( FI i, FI j, const T& v, BP p ) noexcept( noexcept( p ) )
{
   for( ; i != j; ++i )
      if ( p( *i, v ) )
         break;
   return i;
}
 
// ----------------------------------------------------------------------------
 
template <class BI, class T> inline
BI LinearSearchLast( BI i, BI j, const T& v ) noexcept
{
   for( BI k = j; i != k; )
      if ( *--k == v )
         return k;
   return j;
}
 
// ----------------------------------------------------------------------------
 
template <class BI, class T, class BP> inline
BI LinearSearchLast( BI i, BI j, const T& v, BP p ) noexcept( noexcept( p ) )
{
   for( BI k = j; i != k; )
      if ( p( *--k, v ) )
         return k;
   return j;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T> inline
FI BinarySearch( FI i, FI j, const T& v ) noexcept
{
   for ( distance_type n = Distance( i, j ); n > 0; )
   {
      distance_type h = n >> 1;
      FI m = i;
      Advance( m, h );
 
      if ( *m < v )
      {
         i = ++m;
         n -= h+1;
      }
      else
         n = h;
   }
 
   return (i != j && !(v < *i)) ? i : j;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T, class BP> inline
FI BinarySearch( FI i, FI j, const T& v, BP p ) noexcept( noexcept( p ) )
{
   for ( distance_type n = Distance( i, j ); n > 0; )
   {
      distance_type h = n >> 1;
      FI m = i;
      Advance( m, h );
 
      if ( p( *m, v ) )
      {
         i = ++m;
         n -= h+1;
      }
      else
         n = h;
   }
 
   return (i != j && !p( v, *i )) ? i : j;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T> inline
FI BinarySearchLast( FI i, FI j, const T& v ) noexcept
{
   FI k = BinarySearch( i, j, v );
   if ( k != j )
      for( FI l = k; ++l != j && *l == v; )
         ++k;
   return k;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T, class BP> inline
FI BinarySearchLast( FI i, FI j, const T& v, BP p ) noexcept( noexcept( p ) )
{
   FI k = BinarySearch( i, j, v, p );
   if ( k != j )
      for( FI l = k; ++l != j && !p( *l, v ) && !p( v, *l ); )
         ++k;
   return k;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T, class BP1, class BP2> inline
FI BinarySearch( FI i, FI j, const T& v, BP1 p1, BP2 p2 ) noexcept( noexcept( p1 ) && noexcept( p2 ) )
{
   for ( distance_type n = Distance( i, j ); n > 0; )
   {
      distance_type h = n >> 1;
      FI m = i;
      Advance( m, h );
 
      if ( p1( *m, v ) )
      {
         i = ++m;
         n -= h+1;
      }
      else
         n = h;
   }
 
   return (i != j && !p2( v, *i )) ? i : j;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T> inline
FI InsertionPoint( FI i, FI j, const T& v ) noexcept
{
   for ( distance_type n = Distance( i, j ); n > 0; )
   {
      distance_type h = n >> 1;
      FI m = i;
      Advance( m, h );
 
      if ( v < *m )
         n = h;
      else
      {
         i = ++m;
         n -= h+1;
      }
   }
 
   return i;
}
 
// ----------------------------------------------------------------------------
 
template <class FI, class T, class BP> inline
FI InsertionPoint( FI i, FI j, const T& v, BP p ) noexcept( noexcept( p ) )
{
   for ( distance_type n = Distance( i, j ); n > 0; )
   {
      distance_type h = n >> 1;
      FI m = i;
      Advance( m, h );
 
      if ( p( v, *m ) )
         n = h;
      else
      {
         i = ++m;
         n -= h+1;
      }
   }
 
   return i;
}
 
// ----------------------------------------------------------------------------
 
template <class FI1, class FI2> inline
FI1 Search( FI1 i1, FI1 j1, FI2 i2, FI2 j2 ) noexcept
{
   distance_type n1 = Distance( i1, j1 );
   distance_type n2 = Distance( i2, j2 );
   if ( n1 > 0 && n2 > 0 )
      for ( ; n2 <= n1; ++i1, --n1 )
      {
         FI1 k1 = i1;
         FI2 k2 = i2;
         for ( ; *k1 == *k2; ++k1 )
            if ( ++k2 == j2 )
               return i1;
      }
   return j1;
}
 
// ----------------------------------------------------------------------------
 
template <class FI1, class FI2, class BP> inline
FI1 Search( FI1 i1, FI1 j1, FI2 i2, FI2 j2, BP p ) noexcept( noexcept( p ) )
{
   distance_type n1 = Distance( i1, j1 );
   distance_type n2 = Distance( i2, j2 );
   if ( n1 > 0 && n2 > 0 )
      for ( ; n2 <= n1; ++i1, --n1 )
      {
         FI1 k1 = i1;
         FI2 k2 = i2;
         for ( ; p( *k1, *k2 ); ++k1 )
            if ( ++k2 == j2 )
               return i1;
      }
   return j1;
}
 
// ----------------------------------------------------------------------------
 
template <class BI1, class FI2> inline
BI1 SearchLast( BI1 i1, BI1 j1, FI2 i2, FI2 j2 ) noexcept
{
   distance_type n1 = Distance( i1, j1 );
   distance_type n2 = Distance( i2, j2 );
   if ( n1 > 0 && n2 > 0 && n2 <= n1 )
   {
      i1.Advance( n1 - n2 );
      for ( ;; )
      {
         BI1 k1 = i1;
         FI2 k2 = i2;
         for ( ; *k1 == *k2; ++k1 )
            if ( ++k2 == j2 )
               return i1;
         if ( --n1 < n2 )
            break;
         --i1;
      }
   }
   return j1;
}
 
// ----------------------------------------------------------------------------
 
template <class BI1, class FI2, class BP> inline
BI1 SearchLast( BI1 i1, BI1 j1, FI2 i2, FI2 j2, BP p ) noexcept( noexcept( p ) )
{
   distance_type n1 = Distance( i1, j1 );
   distance_type n2 = Distance( i2, j2 );
   if ( n1 > 0 && n2 > 0 && n2 <= n1 )
   {
      i1.Advance( n1 - n2 );
      for ( ;; )
      {
         BI1 k1 = i1;
         FI2 k2 = i2;
         for ( ; p( *k1, *k2 ); ++k1 )
            if ( ++k2 == j2 )
               return i1;
         if ( --n1 < n2 )
            break;
         --i1;
      }
   }
   return j1;
}
 
// ----------------------------------------------------------------------------
 
} // pcl
 
#endif  // __PCL_Search_h
 
// ----------------------------------------------------------------------------
// EOF pcl/Search.h - Released 2024-06-18T15:48:54Z