check for type Boolean - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Relations : type checking : type/boolean

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)

Parameters

expr

-

any expression

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 relation if it is of type `=`, `<>`, `<`, or `<=`.

• 

An expression is of type logical if it is of type `and`, `or`, `xor`, `implies`, or `not`.

• 

Note: Expressions formed using the operators > and >= are automatically converted to expressions of type `<` and `<=`, respectively.

Examples

typex<5&comma;relation

true

(1)

typeaornotb&comma;logical

true

(2)

type1<2and5<x&comma;boolean

true

(3)

See Also

boolean, evalb, type, type/<, type/<>, type/=, type/boolean_constant, type/truefalse


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam