AdaptableBinaryPredicate

Category: functors		Component type: concept

Description

An Adaptable Binary Predicate is a BinaryPredicate that is also an AdaptableBinaryFunction. That is, it is a BinaryFunction whose return type is bool, and that includes nested typedefs that define its argument types and return type.

Refinement of

Predicate, AdaptableBinaryFunction

Associated types

None, except for those associated with Predicate and AdaptableBinaryFunction.

Notation

Definitions

Valid expressions

None, except for those defined by the Predicate and AdaptableBinaryFunction requirements.

Expression semantics

Complexity guarantees

Invariants

Models

• less
• equal_to
• logical_and
• logical_or
• binary_negate

Notes

See also

BinaryPredicate, Predicate, AdaptablePredicate