|
type/boolean - check for type Boolean
type/relation - check for type relation
type/logical - check for type logical
|
|
Calling Sequence
|
|
type(expr, boolean)
type(expr, relation)
type(expr, logical)
|
|
|
Description
|
|
|
•
|
These functions return true if expr is of the specified type, and false otherwise.
|
|
•
|
An expression is of type boolean if it is of type relation, type logical or one of the Boolean constants true, false, or FAIL.
|
|
•
|
An expression is of type logical if it is of type `and`, `or`, `xor`, `implies`, or `not`.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
|
Download Help Document
Was this information helpful?
