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

Supertypes

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.

Supertypes

• 

type/boolean, type/symbol, type/truefalseFAIL

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