Assertion: opaque predicate | /r/CapableOf | evaluate to true
Facets:
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.