type/truefalseFAIL - Maple 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

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.

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

 


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