type/property - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/property

check for a property

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, property)

Parameters

expr

-

any expression

Description

• 

The type( expr, 'property' ) command returns the value true if expr is a property (known to the assume facility) and the value false otherwise. For a description of known properties, see property.

  

Note: Types are properties, but not all properties are types.

Examples

type'real','property'

true

(1)

type'real','type'

false

(2)

type'realcons','property'

true

(3)

type'realcons','type'

true

(4)

type'TopProp','property'

true

(5)

type'TopProp','type'

false

(6)

type'property','property'

true

(7)

See Also

assume

property

type

type/type