verify[boolean] - return a Boolean comparison or result
verify[truefalse] - return a truefalse comparison or result
|
Calling Sequence
|
|
verify(expr1, expr2, boolean)
verify(expr1, expr2, boolean(ver))
verify(expr1, expr2, truefalse)
verify(expr1, expr2, truefalse(ver))
|
|
Parameters
|
|
expr1, expr2
|
-
|
anything
|
ver
|
-
|
verification
|
|
|
|
|
Description
|
|
•
|
The verify(expr1, expr2, boolean) and verify(expr1, expr2, truefalse) calling sequences perform an evalb comparison. That is, verify(a, b, boolean) = evalb(a = b) and verify(a, b, truefalse) = evalb(a = b).
|
•
|
If a verification ver is given, then boolean acts as a filter, converting anything returned by verify into either true, false, or FAIL.
|
•
|
The verification truefalse makes one further change, converting any FAIL results into false.
|
•
|
These are useful in case the result from verify is to be used as input to another procedure such as sort or select.
|
•
|
The verifications boolean and truefalse are symmetric and a verification boolean(ver) is symmetric if and only if the verification ver is symmetric. If a verification ver is symmetric, then this implies that the verification truefalse(ver) is symmetric.
|
|
|
Examples
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
>
|
|
| (11) |
>
|
|
| (12) |
>
|
|
| (13) |
|
|
Download Help Document
Was this information helpful?