type/logical - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : type/logical

type

  

logical

 

Calling Sequence

Parameters

Description

Supertypes

Examples

Calling Sequence

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 logical if it is of type `and`, `or`, `xor`, `implies`, or `not`. For each of the types f, where f is one of `and`, `or`, `xor`, `implies`, or `not`, x is of type f if op(0, x) = f.

Supertypes

• 

type/boolean

Examples

typex<5&comma;logical

false

(1)

typeaornotb&comma;logical

true

(2)

type1<2and5<x&comma;logical

false

(3)

See Also

evalb

type

type/boolean

type/relation

type/truefalse