type/And, type/Or, type/Not, type/Non - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/And

type/And, type/Or, type/Not, type/Non

boolean combinations of types

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, And(type1, type2, ...))

type(expr, Or(type1, type2, ...))

type(expr, Not(type1))

type(expr, Non(type1))

Parameters

expr

-

expression

type1, type2, ...

-

type

Description

• 

An expression is of type And(type1, type2, ...) if it is all of the types type1, type2, ... .

• 

An expression is of type Or(type1, type2, ...) if it is one of the types type1, type2, ... . Note the Or(type1, type2, ...) is equivalent to {type1,type2,...} but the type checks always occur in order.  This may be useful if it is known that one type check is faster than a second.

• 

An expression is of type Not(type1) if it is not of type type1. Non(type1) is equivalent to Not(type1).

Examples

type2.0,Andembedded_real,Notnumeric

false

(1)

type2.0+0.I,Andembedded_real,Notnumeric

true

(2)

type3,Orname,realcons

true

(3)

See Also

boolean

type

 


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