Loading...
Searching...
No Matches
BinarySearch.h
Go to the documentation of this file.
//# BinarySearch.h: Binary search through linear, sorted, data structures
//# Copyright (C) 1995,1996,1999
//# Associated Universities, Inc. Washington DC, USA.
//#
//# This library is free software; you can redistribute it and/or modify it
//# under the terms of the GNU Library General Public License as published by
//# the Free Software Foundation; either version 2 of the License, or (at your
//# option) any later version.
//#
//# This library is distributed in the hope that it will be useful, but WITHOUT
//# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
//# FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public
//# License for more details.
//#
//# You should have received a copy of the GNU Library General Public License
//# along with this library; if not, write to the Free Software Foundation,
//# Inc., 675 Massachusetts Ave, Cambridge, MA 02139, USA.
//#
//# Correspondence concerning AIPS++ should be addressed as follows:
//# Internet email: casa-feedback@nrao.edu.
//# Postal address: AIPS++ Project Office
//# National Radio Astronomy Observatory
//# 520 Edgemont Road
//# Charlottesville, VA 22903-2475 USA
#ifndef CASA_BINARYSEARCH_H
#define CASA_BINARYSEARCH_H
//# Includes
#include <casacore/casa/aips.h>
namespace casacore { //# NAMESPACE CASACORE - BEGIN
// <summary>
// Binary search a sorted, linear, data structure.
// </summary>
// <reviewed reviewer="Ger van Diepen" date="1995/03/31" tests="tBinarySearch" demos="">
// </reviewed>
// <synopsis>
// These binary search functions work on sorted, linear data structures
// which have operator() or operator[] defined on them (<i>e.g.</i>
// C-array, Vector, IPosition, Block, ScalarColumn, <i>etc.</i>)
// Two versions of the functions are provided, one which uses
// parentheses () for indexing, one which uses square brackets [] (obviously
// the latter one can also be used for ordinary C-style pointers and arrays).
// It is assumed that the container uses zero-based indexing.
//
// The container must be sorted (sorting is available through the
// <linkto class="Sort">Sort</linkto> and
// <linkto class="GenSort">GenSort</linkto>
// classes, and from various
// <linkto class="Table">Table</linkto> sort functions). The returned index
// is in the range [0..n] inclusive. That is, from the first element of the
// container to one past the last element of the container (zero-based indices).
// If the container is sorted in ascending order, the returned index is the
// first one whose element is greater than or equal to the searched for value.
// If it is sorted in descending order, the returned index is the first which
// is less than or equal to the searched for value. That is, the returned
// index gives the position at which the value would be inserted (possibly
// either at the end, or requiring the existing values to be "pushed" to the
// right) maintaining the sort order. Obviously index n can only be
// returned if the value searched for is past the end of the array, thus
// has to be inserted at the end.
//
// The functions determine for themselves whether the container is sorted in
// ascending or descending order by comparing the first and last element.
// <note role=tip>
// While normally you want to search a container with indices in the range
// <src>[0 ... n-1]</src>, any desired lower bound may be used instead.
// </note>
// <note role=warning>
// The functions do not check if the container is valid, <i>i.e.</i> if
// the container is sorted and if the container does not contain duplicate
// values.
// </note>
//
// These functions loosely follow some written by Ger van Diepen in a more
// specialized context.
// </synopsis>
//
// <example>
// <srcblock>
// Vector<Int> vi;
// ... // Sets vi somehow
// genSort(vi);
// Int val;
// Bool found;
// while (cin >> val && val != -999) {
// Int where = binarySearch(found, vi, val, vi.nelements());
// if (found) {
// cout << "Found " << val << " at position " << where << endl;
// } else {
// cout << val << " is not in the vector, but it belongs at " <<
// where << endl;
// }
// }
// </srcblock>
// </example>
//
// <motivation>
// I found that I (BEG) was writing binary search functions several times,
// for example when checking whether the cached off and gain scans in time
// sorted data needed to be refilled. It generally seems like a useful little
// utility function.
// </motivation>
//
// <templating arg=Container>
// <li> operator(Int) or operator[Int] needs to be defined.
// <li> The index must be zero based.
// <li> The result of that indexing must be an expression that can be
// compared with an object of class ElType. Normally in fact it would
// be a temporary of class ElType.
// </templating>
// <templating arg=ElType>
// <li> The less than operator (<) and greater than (>) operators need to
// be defined, and have their usual ordering relations.
// </templating>
//
// <todo asof="yyyy/mm/dd">
// <li> I suspect that an implementation is possible that only calls
// operator() or [] once during each evaluation of the while loop.
// <li> MACROize implementation so that code isn't repeated twice. Or,
// possibly implement one using the other (e.g. by introducing an adapter
// class that turns (i) into [i].
// </todo>
// <group name=binarysearch>
// Search <i>container</i> for <i>value</i>. There are assumed to be at least
// <i>n</i> elements in the container. The container will be searched for
// indices in the range <src>[lower ... lower + n - 1]</src> Return the index
// of the first element which is greater than or equal to (ascending order) or
// less than or equal to (descending order) the value.
// <group>
// This version of the function is for containers that use () for indexing.
template<class Container, class ElType>
Int binarySearch(Bool &found, const Container &container,
const ElType &value, uInt n, Int lower=0);
// This version of the function is for containers that use [] for indexing.
template<class Container, class ElType>
Int binarySearchBrackets(Bool &found, const Container &container,
const ElType &value, uInt n, Int lower=0);
// </group>
// </group>
} //# NAMESPACE CASACORE - END
#ifndef CASACORE_NO_AUTO_TEMPLATES
#include <casacore/casa/Utilities/BinarySearch.tcc>
#endif //# CASACORE_NO_AUTO_TEMPLATES
#endif
casacore
this file contains all the compiler specific defines
Definition mainpage.dox:28
casacore::uInt
unsigned int uInt
Definition aipstype.h:49
casacore::Int
int Int
Definition aipstype.h:48
casacore::Bool
bool Bool
Define the standard types used by Casacore.
Definition aipstype.h:40
casacore::value
NewDelAllocator< T > NewDelAllocator< T >::value
Definition Allocator.h:368
casacore::BinarySearch_global_functions_binarysearch
Definition BinarySearch.h:132
casacore::BinarySearch_global_functions_binarysearch::binarySearch
Int binarySearch(Bool &found, const Container &container, const ElType &value, uInt n, Int lower=0)
Search container for value.
casacore::BinarySearch_global_functions_binarysearch::binarySearchBrackets
Int binarySearchBrackets(Bool &found, const Container &container, const ElType &value, uInt n, Int lower=0)
This version of the function is for containers that use [] for indexing.