Assertion: opaque predicate | /r/HasProperty | evaluated for a variety of reasons
Facets:
value: to be evaluated at run time
type: PURPOSE
Source sentences:
text: In computer programming, an opaque predicate is a predicate—an expression that evaluates to either "true" or "false"—for which the outcome is known by the programmer a priori, but which, for a variety of reasons, still needs to be evaluated at run time.