Standard Template Library Programmer's Guide

greater_equal<T>

Category: functors

Component type: type

Description

Greater_equal<T> is a function object. Specifically, it is an Adaptable Binary Predicate, which means it is a function object that tests the truth or falsehood of some condition. If f is an object of class greater_equal<T> and x and y are objects of class T, then f(x,y) returns true if x >= y and false otherwise.

Example

Find the first nonnegative element in a list.

list<int> L;
…
list<int>::iterator first_nonnegative = find_if(L.begin(), L.end(), bind2nd (greater_equal<int>(), 0));
assert(first_nonnegative == L.end() || *first_nonnegative >= 0);

Definition

Defined in the standard header functional, and in the nonstandard backward-compatibility header function.h.

Template parameters

Parameter	Description
T	The type of greater_equal's arguments.

Model of

Adaptable Binary Predicate, DefaultConstructible

Type requirements

T is LessThan Comparable.

Public base classes

binary_function<T, T, bool>.

Members

Member	Where defined	Description
first_argument_type	Adaptable Binary Predicate	The type of the first argument: T
second_argument_type	Adaptable Binary Predicate	The type of the second argument: T
result_type	Adaptable Binary Predicate	The type of the result: bool
greater_equal()	DefaultConstructible	The default constructor.
bool operator()(const T& x, const T& y)	Binary Function	Function call operator. The return value is x >= y.

New members

All of greater_equal's members are defined in the Adaptable Binary Predicate and DefaultConstructible requirements. Greater_equal does not introduce any new members.

See also

The function object overview, Adaptable Binary Predicate, equal_to, not_equal_to, greater less, less_equal

Logical operations

logical_and<T>

Category: functors

Component type: type

Description

Logical_and<T> is a function object; specifically, it is an Adaptable Binary Predicate, which means it is a function object that tests the truth or falsehood of some condition. If f is an object of class logical_and<T> and x and y are objects of class T