type/boolean_function - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

# Online Help

###### All Products    Maple    MapleSim

Home : Support : Online Help : type/boolean_function

type/boolean_function

test for an expression of type boolean_function

 Calling Sequence type(expr::anything, 'boolean_function')

Parameters

 expr - any expression

Description

 • The call type(expr, boolean_function) returns true if expr is of type boolean_function.
 • The type boolean_function is defined as an object of type function whose zeroth operand is one of the global symbols And, Or, Not, Xor, or Implies.
 • Note that this type only checks the top level and does not perform any type checking on subexpressions.

Examples

 > $\mathrm{type}\left(x\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{and}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}y,\mathrm{boolean_function}\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left(\mathrm{And}\left(x,y,\mathrm{Or}\left(a,b\right)\right),\mathrm{boolean_function}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(\mathrm{Implies}\left(x,\mathrm{Xor}\left(y,z\right)\right),\mathrm{boolean_function}\right)$
 ${\mathrm{true}}$ (3)

 See Also