|
ALINK="#ff0000">
Adaptable Predicate
DescriptionAn Adaptable Predicate is a Predicate that is also an Adaptable Unary Function. That is, it is a Unary Function whose return type is bool, and that includes nested typedefs that define its argument type and return type.Refinement ofPredicate, Adaptable Unary FunctionAssociated typesNone, except for those associated with Predicate and Adaptable Unary Function.NotationDefinitionsValid expressionsNone, except for those defined by the Predicate and Adaptable Unary Function requirements.Expression semanticsComplexity guaranteesInvariantsModelsNotesSee alsoPredicate, Binary Predicate, Adaptable Binary PredicateCopyright © 1999 Silicon Graphics, Inc. All Rights Reserved. TrademarkInformation
|