AdaptablePredicate

Category: functors		Component type: concept

Description

An Adaptable Predicate is a Predicate that is also an AdaptableUnaryFunction. That is, it is a UnaryFunction whose return type is bool, and that includes nested typedefs that define its argument type and return type.

Refinement of

Predicate, AdaptableUnaryFunction

Associated types

None, except for those associated with Predicate and AdaptableUnaryFunction.

Notation

Definitions

Valid expressions

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

Expression semantics

Complexity guarantees

Invariants

Models

• logical_not
• unary_negate

Notes

See also

Predicate, BinaryPredicate, AdaptableBinaryPredicate