Derived predicates

Back to Predicates

A derived predicate is a predicate which is formed by modifying an existing predicate.

Files

An aggregate file for derived predicates

Dereferenced predicates

Directed predicate

Equivalence

Not predicate

Predicates for iterator-address’s

Transpose predicate