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

Parameters

Description

Examples

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