concepts.dsl.expression_utils.is_simple_bool#

is_simple_bool(expr)[source]#

Check if the expression is a simple Boolean expression. That is, it is either a Boolean non-derived function application or the negation of a Boolean non-derived function application.

Parameters:

expr (Expression) – the expression to check.

Returns:

True if the expression is a simple boolean expression, False otherwise.

Return type:

bool