Opaque predicate
Encyclopedia : O : OP : OPA : Opaque predicate
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, but that still needs to be evaluated at run time. Opaque predicates have a number of uses. One can be used as a watermark, as it will be identifyable in a program's executable. They can also be used to prevent an overzealous optimizer from optimizing away a portion of a program.
External links
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.