type/truefalseFAIL - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/truefalseFAIL

test for an expression of type truefalseFAIL

type/boolean_constant

test for an expression of type boolean_constant

 

Calling Sequence

Parameters

Description

Subtypes

Supertypes

Examples

Compatibility

Calling Sequence

type(e::anything, 'truefalseFAIL')

type(e::anything, 'boolean_constant')

Parameters

e

-

Maple expression

Description

• 

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

• 

The expression type(e,'truefalseFAIL') evaluates to true if, and only if, the expression e is of type truefalseFAIL, which is defined as the expressions true, false, and FAIL. No other expression is of type truefalseFAIL.

• 

The type boolean_constant is a synonym for truefalseFAIL and behaves identically.

• 

Note that every expression that is of type truefalseFAIL is also of type boolean, but that the converse is not true.  Expressions of type relation such as x and y where x and y are symbols, are of type boolean but not of truefalseFAIL.

• 

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

Subtypes

• 

type/truefalse

Supertypes

• 

type/boolean, type/symbol

Examples

typetrue,'truefalseFAIL'

true

(1)

typefalse,'truefalseFAIL'

true

(2)

typeFAIL,'truefalseFAIL'

true

(3)

typexandy,'truefalseFAIL'

false

(4)

typexy,'truefalseFAIL'

false

(5)

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

false

(6)

typex23,'truefalseFAIL'

false

(7)

Compatibility

• 

The type/truefalseFAIL and type/boolean_constant commands were introduced in Maple 2015.

• 

For more information on Maple 2015 changes, see Updates in Maple 2015.

See Also

Boolean

evalb

type

type/boolean

type/truefalse