type/truefalse - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/truefalse

test for an expression of type truefalse

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(e::anything, 'truefalse')

Parameters

e

-

Maple expression of type anything

Description

• 

The type truefalse refers to only the two Boolean values true and false.

• 

The expression type(e,'truefalse') evaluates to true if, and only if, the expression e is of type truefalse. The only two expressions that are of type truefalse are the expressions true and false. No other expression is of type truefalse.

• 

Maple ordinarily uses a three-valued logic using the Boolean values true, false, and FAIL. The Maple type truefalseFAIL describes this set of values.

• 

Note that every expression that is of type truefalse is also of type boolean, but that the converse is not true. The value FAIL is not of type truefalse.

Examples

typetrue,'truefalse'

true

(1)

typefalse,'truefalse'

true

(2)

typeFAIL,'truefalse'

false

(3)

type( proc() true; end proc, 'truefalse' );

false

(4)

typex23,'truefalse'

false

(5)

See Also

Boolean

convert/truefalse

evalb

type

type/boolean

type/truefalseFAIL